Skip to content  

Working at TU/e

Postdoc: continuous improvement of machines through verified software updates (V32.4244)

Postdoc: continuous improvement of machines through verified software updates

We are looking for post-doctoral researcher 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.
Position
(Post-doctoral) Researcher
Department(s)
Department of Mathematics & Computer Science
FTE
1,0
Date off
19/03/2020
Reference number
V32.4244

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. In collaboration with a PhD student on the project, you are expected to extend and improve the existing translation of low-code models into mCRL2 to enable verification. You also work on developing techniques in the context of the mCRL2 toolset to improve the efficiency and effectiveness of the verification, and demonstrate their effectiveness using case studies provided by the industrial partners.

Your profile:

We are looking for enthusiastic applicants with an PhD in a relevant area, e.g. formal verification. The candidates should have a thorough theoretical background, and an interest in the verification of industrial systems. Experience in academic/industrial collaboration 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 prof.dr.ir. Jan Friso Groote, dr.ir. Jeroen Keiren and dr.ir. Wieger Wesselink.

Job requirements

We are looking for candidates that have:

  • A PhD in a relevant topic;
  • 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 max. 3 years at Eindhoven University of Technology.
  • The salary is in accordance with scale 10 of the Collective Labour Agreement of the Dutch Universities, depending on experience between € 2.709 and € 4.274 gross per month.
  • Additionally, we offer a yearly holiday allowance of 8% of the annual salary and a yearly end-of-year bonus of 8.3% of the annual salary. In addition, we offer a pension scheme, partially paid parental leave, flexible employment conditions, the possibility to participate in a collective health care plan, and other benefits such as support in moving expenses, commuting expenses, savings schemes, child care and excellent on campus 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:

https://www.tue.nl/en/working-at-tue/why-tue/compensation-and-benefits/