News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.