News and Events: Open Positions

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

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 .

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