Logic List Mailing Archive

Postdoctoral position in complexity theory, Berlin (Germany), Deadline: 6 Jul 2007

POSTDOC POSITION AT HU BERLIN

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 Grohe
    Humboldt-Universitaet zu Berlin
    Institut fuer Informatik
    Unter den Linden 6
    10099 Berlin
    Germany,

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