Two PhD studentships in computational logic, Kassel, Germany

Two full-time PhD studentships are available at the the School of Electrical Engineering and Computer Science of the University of Kassel, Germany. The positions are funded by the ERC project "Model Checking Unleashed" and are initially available for two years with the possibility of extension for another year. 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. The project is run at the Formal Methods and Software Verification group (FMV). Further information about the FMV group is available here: http://cms.uni-kassel.de/unicms/index.php?id=31745

Deadline for applications is April, 15th, 2011. Reference nr. is 15734. For more information, see the official announcement (in German) at http://www.uni-kassel.de/pvabt3/stellen/extern/15734.ghk or contact Martin Lange via Martin.Lange at @uni-kassel.de.