The formal system analysis group has an open PhD position. Please contact us, in case you consider to strive towards a PhD and have strong background in mathematics and computer science.

PhD on Uncertainty in Probabilistic Model Checking.

We offer a four-year long PhD position in the area of probabilistic model checking.
Existing analysis techniques for complex, safety-critical systems require precise knowledge of the probabilities of component failures. Within this project, you will develop analysis techniques for systems with unknown or imprecise probabilities. In particular, you will develop techniques to handle parametric rates in continuous-time Markov chains, exploit structural information such as monotonicity, and implement the approaches in the probabilistic model checker Storm. These new techniques will allow to ensure that the overall safety requirements are met, even if there is uncertainty in the component failures.

For further information, contact Matthias Volk (m.volk@tue.nl).