PhD student or postdoc 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 Research Assistant / PhD Student (Post-Doc) position available for three years, starting July 1, 2018. We are primarily looking for a PhD Student interested in working on formal methods for the design and analysis of complex systems. In exceptional circumstances applications from post-doctoral candidates with fitting interests will also be considered.

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.