Wir suchen zur Zeit zwei wissenschaftliche Mitarbeiter_innen für eine DFG Projektstelle und eine Landesstelle. Die DFG Projektstelle finden sie im nächsten Abschnitt beschrieben. Die Ausschreibung für die Landesstelle finden Sie hier.

Phd (4 years) or Postdoc (2 years) Position

There is a vacancy for either a PhD student (up to 4 years) or a Postdoc (2 years) in the Software Engineering group at TU Darmstadt, Germany ( We perform cutting-edge research in the intersection between software engineering and formal methods, being a co-developer of the leading static verification tool KeY ( You will work in a DFG-funded project that looks at one of the most intriguing questions in software analysis: how can information from static verification be combined with information obtained at runtime? We will investigate methodologies and data structures suitable to represent information from hybrid sources. To this end we team up with the group of Bernhard Steffen at TU Dortmund who develop LearnLib (, a leading tool for automated learning of automata-based models from execution traces.

The salary follows the E13 scale ( You will work in an international research group with a friendly and supportive climate. TU Darmstadt offers excellent training and development opportunities for young researchers (


For a PhD position we expect a very good MSc degree in Computer Science or a closely related field, as well as documented research exposure in an area relevant to the position, for example, a first publication or an excellent, research-oriented MSc thesis. For a postdoc position we expect a PhD in a relevant area, such as software engineering, formal methods, static analysis, or programming languages as well as several international, peer-reviewed publications.

The position is available immediately.

For further questions about the position, please contact Prof Dr Reiner Hähnle at <>.

Please send your application consisting of the usual material (cover letter, CV, papers, thesis, grade record, name of one or two references) as a zip file to:

Application deadline: 15 March 2019 (later applications will be considered, if the position is not filled)