Postdoctoral position in Theoretical Computer Science, München (Germany)

The group for Foundations of Software Reliability and Theoretical Computer Science led by Professors Javier Esparza and Helmut Veith invites applications for a postdoctoral position. The group seeks candidates with a strong background in any area of Automated Verification. It particularly encourages applications concerned with theoretical foundations, implementation, and application of automated verification techniques, including model-checking and static analysis.

The initial appointment is for three years. The candidate is expected to do some amount of teaching (typically one course or one problem class per semester plus some amount of tutoring).

The Technical University of Munich provides a very exciting environment for conducting research on Automated Verification. Its Computer Science Department has leading groups on model-checking (Javier Esparza and Helmut Veith), program analysis (Helmut Seidl), and theorem proving (Tobias Nipkow). The Department also has very strong groups on software engineering, robotics, and scientific computing with interest on formal methods; it is consistently ranked as the best CS department in Germany together with the department of the University of Karlsruhe.

The position is available starting on 01.09.07; applications will be accepted until the position is filled. Salary is according to the A13 scale of the Bavarian state, and ranges, depending on age and marital status, between 2900 and 4000 Euro per month. Salary tables can be found at http://www.bfd.bayern.de/info/besold.htm, and an online calculator at http://paul.schubbi.org/cgi-bin/oed/rechner?tarif=B.

Please send your application containing CV, list of publications, names and addresses of at least two references, and a short statement about current and future research interests to

Javier Esparza
Institut fuer Informatik (I7)
Technische Universitaet Muenchen
Boltzmannstr. 3
D-85748 Garching bei Muenchen
Germany

or by email to esparza at in.tum.de. Further informations are available from Javier Esparza at the same address.