Skip to content  

Working at TU/e

PhD student: continuous improvement of machines through verified software update (V32.4243)

PhD student: continuous improvement of machines through verified software update

We are looking for an excellent PhD student on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by means of verified software updates.
Department of Mathematics & Computer Science
Date off
Reference number

Job description

The challenge:

The MACHINAIDE project is funded by ITEA, a transnational and industry-driven Research, Development and Innovation program in the domain of software innovation. The overall challenge is to allow continuous improvement of machines by means of software updates. To this end, the software is developed using low-code models from which executable code is ultimately generated.

To avoid problems caused by software updates in machines in the field, a combination of digital twins and formal verification of low-code models are used. In this project, you collaborate with industrial partners to enable the verification of these low-code models. The expected contributions are two-fold. You are expected to extend and improve the existing translation of low-code models into mCRL2 to enable verification. Additionally, you work on developing techniques in the context of the mCRL2 toolset to improve the efficiency and effectiveness of the verification. You demonstrate the effectiveness of new techniques using case studies provided by the industrial partners.

Your profile:

We are looking for enthusiastic applicants with an MSc degree in Computer Science, or similar (e.g. Mathematics or Electrical engineering) with an interest in computer science. The candidates should have a thorough theoretical background, and an interest in the verification of industrial systems. Experience with formal methods and the application of model checking is helpful.

Our profile:

The position is available in the Formal System Analysis (FSA) group at Eindhoven University of Technology. The FSA group is well known for its contribution to formal methods; in particular for the development of the mCRL2 toolset and its application to verify complex industrial systems.

The work in the project is supervised by Jan Friso Groote, Jeroen Keiren and Wieger Wesselink.


Job requirements

We are looking for candidates that have:

  • A Master of Science degree in Computer Science or similar;
  • Strong affinity for formal methods;
  • They must be familiar with model checking techniques;
  • Experience with formal modelling of software systems is appreciated;
  • They must be willing to actively collaborate with the industrial partners of the project;
  • They must have good communication skills, must be fluent in English, both in speaking and in writing, and must have good team-working capabilities.

Conditions of employment

We offer you:

  • An exciting job in a dynamic work environment.
  • The opportunity to closely collaborate with industrial partners.
  • A full time appointment for 4 years at Eindhoven University of Technology
  • The salary is in accordance with the Collective Labour Agreement of the Dutch Universities, increasing from € 2.325 per month initially, to € 2.972 in the fourth year.
  • An attractive package of fringe benefits, including end-of-year bonus (8,3% in December), an extra holiday allowance (8% in May), moving expenses and excellent sports facilities.

Information and application

Questions regarding the academic content of the position can be directed to:

You can upload one file including all the required documents (max. 10 MB), before March 19th 2020.

More information on employment conditions can be found here: