Logic List Mailing Archive

Postdoc position (BAT IIa) in "Programming Language Aspects of sublinear space complexity classes" (Munich, Germany)

Vacancy
-------

In the Theoretical Computer Science research group at the
Ludwig-Maximilians-University of Munich a vacant position for a

   Research Associate (salary according to BAT IIa)

in the project 'Pro.Platz - Programming language aspects of sublinear
space complexity classes' is to be filled, initially for two years.

The candidate is expected to have a PhD-degree (or equivalent) in
theoretical computer science or a related area. Applicants should have
a firm knowledge in at least one of the following areas: 
- Logic in Computer Science 
- Complexity Theory
- Type Theory and Functional Programming

In exceptional cases, applicants having no PhD (or equivalent) degree
may be eligible, in this case the opportunity for obtaining a doctoral
degree will be provided.

Applications in the usual format (electronic applications are welcome)
should be sent before March 26, 2005 to:

Prof. Martin Hofmann
Institut f?r Informatik
Ludwig-Maximilians-Universit?t M?nchen
Lehr- und Forschungseinheit f?r Theoretische Informatik
Oettingenstrasse 67
80538 M?nchen
Telephone  +49 89 2180 9341 (-9337)
Fax        +49 89 2180 9338

More informationen about the Theoretical Computer Science research
group can be found here: http://www.tcs.ifi.lmu.de.