The Formal Methods and Tools (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 malfunctions of cyber-physical systems. Designing systems such as MRI printers and scanners, for instance, is by no means easy and failures are often expensive and dangerous. To lower these costs, and increase system availability and reliability, more knowledge about these failures is needed: how do they arise and how to prevent and repair them?
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.
System-level diagnosis currently heavily depends on knowledge that is hidden in the brains of the experts or written documentation, often vaguely specified. Therefore, you will be working on (i) finding ways to formally model knowledge about organisations, agents and domains for the specific task of diagnostics, (ii) developing knowledge extraction methods in large industrial systems, (iii) extracting knowledge from various information sources (such as tables, spoken conversation, meta-data, etc.) and (iv) integrating the various extracted knowledge and data into the actual diagnostic process. Responsibilities:
- You will perform daily PhD-level research. You will both work on your own topics, and collaborate with an excellent and internationally renowned team of researchers and experts in the field to contribute to the development of new techniques and approaches.
- Work on industrial cases, in collaboration with our consortium partners: Philips and Canon.
- Present (both preliminary and mature) results at appropriate meetings and conferences.
- Publish results in scientific workshops, conference proceedings, and journals.
- Contribute to teaching on topics related to your work.
- Supervise and mentor involved BSc and MSc students as needed.