PhD student position (or postdoctoral position) in logic in computer science, Konstanz (Germany)

The Chair for Software and Systems Engineering (Prof. Stefan Leue) in the department of Computer and Information Science, has an opening for the position of a PhD student (preferred) or Post-Doc. The position may be interesting for a logician with strong interests in logic in computer science (e.g., temporal logics, model checking, program semantics, etc.). Proficiency in German is not a prerequisite for this position.

In the research group of Prof. Stefan Leue, we like to work on formal methods for software and systems modelling and analysis, with particular interest in applying formal methods research in practical settings. We have recently come up with the concept of causality checking and are developing tools for system safety analysis.

Applications must be received before 9 March, 2015. For more information, see the official job ad in German and English at http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2015/