Postdoctoral position in model checking or computational logic, Kassel (Germany)

The Theoretical Computer Science / Formal Methods (FMV) research group at the University of Kassel is looking for a post-doc to work on the ERC funded project "Model Checking Unleashed". The project investigates potential applications of computational logic technology, in particular model checking, in all sorts of different areas.

The deadline for applications is 15th of May. The official announcement (in German) is available at http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/. For informal enquiries please contact Martin Lange via martin.lange at uni-kassel.de. and/or consult the website of the FMV group at http://www.uni-kassel.de/eecs/fachgebiete/fmv/home.html .