The Formal Methods and Tools group at the University of Twente is looking for a highly motivated and talented PhD candidate to join the team working on software modelling, model-driven system engineering and model transformations. The successful candidate will work on a cutting-edge research project on intelligent diagnostics. In particular, the work will be about finding ways to specify diagnosable monitoring systems, to identify models with the best diagnostic potential, to describe available knowledge to facilitate diagnostics, to define diagnostic algorithms, and to combine domain knowledge and system knowledge to provide diagnosability guarantees.

You will be working on the ZORRO project: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics, led by Prof. Dr. Mariëlle Stoelinga. The project is a collaboration between the University of Twente, VU Amsterdam, Saxion University of Applied Sciences, TNO-ESI and five industrial partners. Two of the PhD positions in this project will be working at the Formal Methods & Tools group, the other one on the topic of knowledge engineering. This PhD position will be supervised by Dr. Vadim Zaytsev and Dr. Marcus Gerhold.

Responsibilities:

• Conduct independent research in the area of software modelling, model-driven system engineering, and model transformations.
• Collaborate with a team of researchers and experts in the field to contribute to the development of new techniques and approaches.
• Publish research results in leading academic journals and present findings at international conferences.
• Engage in critical analysis and evaluation of existing theories and methods in the field.
• Supervise and mentor involved BSc and MSc students as needed.