PhD student position in formal methods for software and systems modeling, Konstanz (Germany)

The Chair for Software and Systems Engineering (Prof. Stefan Leue), in the department of Computer and Information Science at the University of Konstanz (Germany), has an opening for the full-time position of a Research Assistant/PhD Student (Salary Scale 13 TV-L). The position may be interesting for a logician with strong interests in computer science in general and logic in computer science (e.g., temporal logics, model checking, program semantics, etc.) in particular.

The position is primarily geared towards PhD candidates, but in exceptional circumstances post-doctoral candidates can be considered as well. Competency in German is not a prerequisite.

The group of Prof. Dr. Stefan Leue likes to work on formal methods for software and systems modeling and analysis, with particular interest in applying formal methods research in practical settings. They have recently come up with the concept of causality checking and are developing tools for system safety analysis.

Deadline for applications: 18 April 2016. For more information, see http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2016/ (scroll down for the English version) or contact Prof. Stefan Leue at Stefan.Leue at uni-konstanz.de.