PhD student position in logical methods, Kassel (Germany)

One full-time PhD studentship is available at the School of Electrical Engineering and Computer Science of the University of Kassel, Germany. The position is funded by the ERC project "Model Checking Unleashed" and is initially available for two years with the possibility of extension for another year but no later than 30/11/2015. There are no teaching obligations. Starting date is negotiable.

The project investigates applications of logical methods to various computational problems from diverse areas like database theory, graph theory, bio-informatics, computational linguistics, etc. but also in the classical domain of model checking, namely formal methods. The project is run at the Formal Methods and Software Verification group (FMV).

Deadline for applications is June, 30th, 2012. Reference nr: 18734. The official announcement for this position is available here (in German): http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/.

For informal enquiries please contact Martin Lange at martin.lange at uni-kassel.de. Further information about the FMV group is available at http://cms.uni-kassel.de/unicms/index.php?id=31745.