PhD student position in model checking, 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 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 but the position must be taken up no later than December, 1st, 2012 in order to enjoy the full three years of funding.

The project is run at the Formal Methods and Software Verification group (FMV) and 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.

Deadline for applications is March, 8th, 2012. Reference number: 17867. 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 via Martin.Lange at @uni-kassel.de.