Research Assistant / PhD Student (Post-Doc)

by Stefan Leue, March 7, 2019

Formal Modeling and Analysis of Systems


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 April 1, 2019, or at a mutually agreeable later date. We are primarily looking for a PhD Student interested in working on formal methods for the design and analysis of complex systems. Areas of particular interest include, but are not limited to,

* safety-critical systems and functional safety,
* automotive systems engineering,
* formal guarantees for machine-learning based systems,
* formal models of causality, and
* formal modeling of collective behavior.

In exceptional circumstances applications from post-doctoral candidates with fitting interests will also be considered.

For more information and details on how to apply see: .

(English text at the bottom of that page). 

Konstanz is located in the beautiful southwestern Lake Constance (Bodensee) area. The closest larger cities are Zurich (1 hr.), Stuttgart (2 hrs.) and Munich (2.5 hrs). The salary for this position is according to the payscale EG 13 of the TV-L labor agreement, which can be found here:

Application deadline: March 17, 2019.

I will be happy to answer specific questions, and look forward to your qualified application!

Stefan Leue