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
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 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:
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.castiglioniattue.nl.
Visit our website for more information about the application process or the conditions of employment. You can also contact HR Services, email HRServices.MCSattue.nl.
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:
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.