There is a research position on offer in the (type systems- and functional programming-related) project described at:
http://linux.tcs.inf.tu-dresden.de/~voigt/project/
The official job advertisement (in German) can be found at:
http://www.verw.tu-dresden.de/StellAus/einzelstelle.asp?id=783
The key facts are:
- full-time faculty position (German scale E 13 TV-L, formerly BAT IIa)
- no teaching duties
- initial appointment for up to 30 months (maybe less for a PostDoc)
- no knowledge of German required (but English is)
Please contact voigt@tcs.inf.tu-dresden.de with any further questions.
The closing date for applications is 15th May 2008.