PhD: A formal framework for CPSs: Uncertainty, runtime verification&new horizons

Updated: 2 months ago
Deadline: 31 Dec 2023

We are embarking on a new journey in the realm of formal methods for cyber-physical systems. The objective? Establish solid theoretical foundations and develop an efficient tool for the analysis and verification of CPSs. Are you up for the challenge? Join our team!

Irène Curie Fellowship



Mathematics and Computer Science

Graduate Program(s)

Computer Science

Reference number


Job description

We have recently proposed a general formal framework for the specification, analysis and verification of CPS-like systems operating under uncertainty and perturbations.
Our aim is to extend both, the theoretical foundations and the practical implementation of the framework, to apply it to several domains, like, e.g., runtime verification and AI-based systems.

We are looking for a motivated candidate to tackle these, and related, open problems with us. The candidate is also expected to participate in the development and maintenance of the STARK tool, which is the core of our framework.
Moreover, as a PhD-TA position, the candidate is also expected to work as a teaching assistant, with a teaching load of 25%.

The successful candidate will benefit from, and contribute to, the research environment at the Formal Systems Analysis (FSA) cluster at TU/e, and will also have the chance to interact with our international collaborators.

Job requirements
  • A master’s degree (or an equivalent university degree), preferably in Computer Science.
  • Indeed, valid and motivated candidates with a master’s degree in Mathematics, Physics, or Engineering are also welcome to apply.
  • A research-oriented attitude.
  • Ability to work in an interdisciplinary team.
  • Motivated to develop your teaching skills and coach students.
  • Fluent in spoken and written English (C1 level).

Conditions of employment

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:

  • Full-time employment for five years, with an intermediate evaluation (go/no-go) after nine months. You will spend 25% of your employment on teaching tasks.
  • Salary and benefits (such as a pension scheme, paid pregnancy and maternity leave, partially paid parental leave) in accordance with the Collective Labour Agreement for Dutch Universities, scale P (min. €2,770 max. €3,539).
  • A year-end bonus of 8.3% and annual vacation pay of 8%.
  • High-quality training programs and other support to grow into a self-aware, autonomous scientific researcher. At TU/e we challenge you to take charge of your own learning process .
  • An excellent technical infrastructure, on-campus children's day care and sports facilities.
  • An allowance for commuting, working from home and internet costs.
  • A Staff Immigration Team and a tax compensation scheme (the 30% facility) for international candidates.

Information and application

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.


Do you recognize yourself in this profile and would you like to know more about this position?
Please contact the hiring manager Valentina Castiglioni, email v.castiglioni[at]

Visit our website for more information about the application process or the conditions of employment. You can also contact HR Services, email HRServices.MCS[at]

Are you inspired and would like to know more about working at TU/e? Please visit our career page .


Interested applicants can submit their application by using the apply button.
The application should include:

  • A Curriculum vitae.
  • A cover letter in which the candidate describes their motivation and qualification for the position, and
  • Two recommendation letters.

We will start reviewing applications as soon as they arrive.

We will accept applications until the position is filled, and no later than December 31, 2023.

Similar Positions