PhD student position in Theoretical Computer Science, Kassel (Germany)

The Department of Electrical Engineering and Computer Science at the University of Kassel, Germany, announces an open full-time position in theoretical computer science at the research assistant / associate level (paid according to EG13 TV-H). The position is available immediately and should ideally be filled no later than October 1st, 2010.

The successful candidate will join the newly formed research group "Formal Methods and Verification" headed by Prof. Martin Lange. Research of the group will focus on topics around computational logic with applications in program verification etc.

Deadline for applications: July 16th, 2010. Official job announcement (in German): http://www.uni-kassel.de/pvabt3/stellen/extern/14089.ghk. For more information, contact Martin Lange via martin.lange at uni-kassel.de.