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.
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.
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 prof.dr.ir. Jan Friso Groote, dr.ir. Jeroen Keiren and dr.ir. Wieger Wesselink.
We are looking for candidates that have:
We offer you:
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: