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

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

Published Deadline Location
15 Nov 31 Dec Eindhoven

You cannot apply for this job anymore (deadline was 31 Dec 2023).

Browse the current job offers or choose an item in the top navigation above.

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!

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.


Eindhoven University of Technology (TU/e)


  • 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.


  • PhD
  • Engineering
  • max. 38 hours per week
  • University graduate
  • V32.7081


Eindhoven University of Technology (TU/e)

Learn more about this employer


De Rondom 70, 5612 AP, Eindhoven

View on Google Maps

Interessant voor jou