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

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.

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.