The Formal Methods and Tools group at the University of Twente is looking for two highly motivated and talented PhD candidates to join the team working on diagnostic methods for cyber-physical systems. 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. If you are passionate about computer science and interested in working on cutting-edge research, we encourage you to apply for this exciting opportunity! Application deadline: *29 March 2023* Starting date: 1 September 2023 *We offer*: One 4-year PhD studentship on Knowledge Engineering for Smart Diagnostics. You will be working on finding ways to formally model knowledge about organisations, agents and domains for the specific task of diagnostics, developing knowledge extraction methods in large industrial systems, extracting knowledge from various information sources and integrating the various extracted knowledge and data into the actual diagnostic process. You will be supervised by Prof. Dr. Mariëlle Stoelinga and Dr. Georgiana Caltais. For more details, please check the full description at: https://utwentecareers.nl/en/vacancies/1111/phd-position-on-knowledge-engine... <https://utwentecareers.nl/en/vacancies/1111/phd-position-on-knowledge-engineering-for-smart-diagnostics/> One 4-year PhD studentship on Model-driven System Engineering for Smart Diagnostics. Your 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 supervised by Dr. Vadim Zaytsev and Dr. Marcus Gerhold. For more details, please check the full description at: https://utwentecareers.nl/en/vacancies/1110/phd-position-on-model-driven-sys... <https://utwentecareers.nl/en/vacancies/1110/phd-position-on-model-driven-system-engineering-for-smart-diagnostics/> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]