The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. Please contact us, in case you consider to strive towards a PhD and have strong background in mathematics and computer science.

PhD-TA on Probabilistic Model Checking for Safety-Critical Systems.

We offer a 5-year long PhD-Teaching Assistant position in the area of reliability models.
Within the PhD position, you will develop new analysis techniques for reliability models and algorithms for probabilistic model checking, and implement them in tools such as Storm. The specific research topic can be influenced by the interests of the candidate. Possible topics include variant management in reliability models, data-driven reliability models and extensions of continuous-time Markov chains.

Please see the open vacancy for further information or contact Matthias Volk (m.volk@tue.nl).

PhD position in the STORM_SAFE project.

We offer a four years PhD position to investigate the use of formal techniques to model, design, evaluate and document the software control of storm surge barriers protecting the Netherlands against flooding. Besides modelling and analyzing storm surge software in close cooperation of Rijkswaterstaat, the Dutch national body responsible for the main Dutch road and waterway infrastructure, it is expected that the PhD candidate contributes to the improvement of various description and analysis techniques and algorithms especially in the context of the mCRL2 toolset (www.mcrl2.org).

Please contact Jan Friso Groote (j.f.groote@tue.nl) for further information.

PhD position in the Cynergy4MIE project.

We offer a four-year PhD position in the European research project Cynergy4MIE. This project will be carried out in close collaboration with the SME Verum B.V. This company develops tools and techniques for designing provably correct software systems, for which it relies on model checking and refinement checking using the mCRL2 toolset (www.mcrl2.org) developed at the TU/e. In this project we will work on further scaling these verification techniques, driven by Verum’s specific application domain. Key research points in this project are abstraction, compositionality, explainability and decision diagrams.

Please contact Tim Willemse (t.a.c.willemse@tue.nl) for further details.