Logic List Mailing Archive

Postdoctoral position in Theoretical Computer Science, M?en (Germany)

POSTDOC POSITION AT THE TECHNISCHE UNIVERSITT MNCHEN

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@in.tum.de. Further informations are available
from Javier Esparza at the same address.



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

Phone: +49 (89) 289-17204
Fax:   +49 (89) 289-17207