PhD Student (Post-Doc) in Formal Modeling and Analysis of Systems

by Stefan Leue, Jan. 18, 2019

We are primarily looking for a PhD Student interested in working on formal methods for the design and analysis of complex 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 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. 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:

https://www.uni-konstanz.de/stellenangebote/stellenauswahl.php/stellenauswahl.php?seite=2019/008&id=1 .

(English text at the bottom of the page).

The salary is according to the payscale EG 13 of the TV-L labor agreement, which can be found here:

https://lbv.landbw.de/documents/20181/42056/4_2018_10+Tabellenentgelt.pdf/26c42cec-e33e-4477-96b3-7496868771de

Application deadline: February 22, 2019.

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

Stefan Leue

-- 
Prof. Dr. Stefan Leue

Chair for Software and Systems Engineering
Department of Computer and Information Science
University of Konstanz, Box 67
D-78457 Konstanz, Germany

Office: PZ902

Phone:  +49 (0)7531 88 2893, ~4631 (secretary)
Home:   +49 (0)7533 949 2182
Email:  [email protected]
WWW:    http://se.uni-konstanz.de