The Formal Methods and Tools <https://www.utwente.nl/en/eemcs/fmt/> group at the University of Twente is looking for a highly motivated and talented PhD candidate to join the team working on diagnostic methods for cyber-physical systems. You will be working on the ZORRO <https://zorro-project.nl> project: “Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics”, led by Prof. Dr. Mariëlle Stoelinga <https://people.utwente.nl/m.i.a.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: *24 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 <https://people.utwente.nl/m.i.a.stoelinga> and Dr. Georgiana Caltais <https://people.utwente.nl/g.g.c.caltais>. For more details, please check the full description at: https://utwentecareers.nl/en/vacancies/1370/phd-position-on-knowledge-engine... [For admin and other information see: http://www.mta.ca/~cat-dist/ ]