Postdoctoral position in complexity theory, Berlin (Germany)

Applications are invited for a one year postdoc position in Theoretical Computer Science at the Humboldt-University at Berlin, starting September 1st, 2007. The position is within the research project

The complexity of constraint satisfaction problems
http://www.informatik.hu-berlin.de/logik/forschung/csp-en.html.

Candidates are expected to have excellent knowledge in Theoretical Computer Science and Mathematics and some research background related to the project (constraint satisfaction, satisfiability solving).

Please send applications with with the usual documents (CV, list of publications, names and email addresses of at least two references) to the following address not later than July 6th, 2007:

Prof. Dr. Martin GroheM
Humboldt-Universitaet zu Berlin
Institut fuer Informatik
Unter den Linden 6
10099 Berlin
Germany

or by email to grohe at informatik.hu-berlin.de. Informal enquiries may also be addressed to grohe at informatik.hu-berlin.de.