PhD student position in formal methods, Konstanz (Germany)

The Chair for Software and Systems Engineering of the University of Konstanz has the opening of a full-time PhD Student / Research Associate position available starting July 1, 2018. We are primarily looking for a PhD Student interested in working on formal methods for the design and verification of critical cyber-physical systems.

We like to use logic-based methods in modeling, specification and analysis of these systems. The position may therefore be interesting of a logician with strong interests in logic-based methods in computer science. Affinity towards software and some programming experience, however, is a prerequisite.