Postdoctoral 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 post-doc position in the research group "Theoretical Computer Science / Formal Methods and Verification" (Prof. Martin Lange).

The position is funded via the ERC project "Model Checking Unleashed", and is - subject to the final agreement between the ERC and the University of Kassel - initially available for 2 years starting December 2010 with the possibility for an extension of 3 more years. The project will investigate non-standard applications of model checking techniques in various areas of computer science and related subjects.

Deadline for applications: October 15th, 2010. Official job announcement (in German): http://www.uni-kassel.de/pvabt3/stellen/extern/14730.ghk. Informal inquiries are welcome and should be directed to Martin Lange via martin.lange at uni-kassel.de.