Are you eager to improve the reliability of complex, safety-critical systems through formal methods? This PhD position offers the opportunity to develop new analysis techniques for reliability models and algorithms for probabilistic model checking, implement them in tools and apply them in industrial settings.
We offer a 5-year long PhD-TA (PhD-Teaching Assistant) position to work on probabilistic model checking techniques for safety-critical systems.
Our research goal is to improve the safety and reliability of complex, safety-critical systems using formal methods. Certifying that systems, such as autonomous vehicles, storm surge barriers, trains, and robotic systems, operate safely and reliably is a major challenge today. In our research, we develop rigorous, automated techniques for modelling and analysing safety-critical systems. We implement our solutions in tools such as the model checkers Storm and mCRL2, and apply our techniques in industrial settings.
We are looking for a highly motivated candidate to develop new analysis techniques to ensure safe and reliable operation of complex systems. Within the PhD position, you will develop new analysis techniques for reliability models and create and improve algorithms for probabilistic model checking. You will implement these techniques in tools such as the Storm model checker, and apply and evaluate them in industrial context. The specific research topic can be influenced by your personal interests. Possible research directions include:
You will contribute to the research of the Formal System Analysis group. We offer an exciting research environment in our group with national and international collaborators and industrial contacts. Our research combines theoretical contributions with tool implementations and industrial applications.
This is a Teaching PhD position with a 25% teaching load. Throughout your PhD, you will spend some time helping with the teaching of relevant courses, for example running instruction sessions and correcting student homework. You will also have the opportunity to obtain teaching qualifications.
A meaningful job in a dynamic and ambitious university, in an interdisciplinary setting and within an international network. You will work on a beautiful, green campus within walking distance of the central train station. In addition, we offer you:
About us
Eindhoven University of Technology is an internationally top-ranking university in the Netherlands that combines scientific curiosity with a hands-on attitude. Our spirit of collaboration translates into an open culture and a top-five position in collaborating with advanced industries. Fundamental knowledge enables us to design solutions for the highly complex problems of today and tomorrow.
Curious to hear more about what it’s like as a PhD candidate at TU/e? Please view the video.
Information
Do you recognize yourself in this profile and would you like to know more?
Please contact Matthias Volk at m.volk@tue.nl.
Visit our website for more information about the application process or the conditions of employment. You can also contact HRServices.MCS@tue.nl for questions related to the application process.
Are you inspired and would like to know more about working at TU/e? Please visit our career page.
Application
We invite you to submit a complete application by using the apply button.
The application should include a:
We look forward to receiving your application and will screen it as soon as possible. The vacancy will remain open until the position is filled.