| | Job Offer: University of Technology, Eindhoven (Site not responding. Last check: 2007-09-07) |
 | | Postdoc position Department of Mathematics and Computing Science Eindhoven University of Technology Publication-style Programming There is a major gap between conventional programming languages, which are based on teletype and punch-card technology, and the languages used by practitioners in their everyday work, which are very much application specific and often based on the language of mathematics. |
 | | Advances in technology have now made it possible to envisage general-purpose programming systems that eliminate this gap. |
 | | By ``all-rounder'' is meant someone with proven practical programming skills, an up-to-date knowledge of advances in software technology related to mathematical/document preparation systems (for example, openmath, opendoc, sgml, unicode) as well as strong affinity with and knowledge of mathematical approaches to software design. |
| www.informatik.uni-trier.de /GI/FG-014/Announce/1996/UTEindhoven.1.EJob.html (505 words) |