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.
If you are passionate about computer science and interested in working on cutting-edge research, we encourage you to apply for this exciting opportunity. Are you interested to be part of our team? Please submit your application via the ‘Apply now' button below until 24 September and include:
The applications are screened continuously, the first deadline for applications is 24 September 2023, but later applications may be considered. For further information about this position, please contact Dr. Georgiana Caltais, [email protected] or Prof. Dr. Mariëlle Stoelinga, [email protected].
Interviews will take place in two phases. If selected, there will be an online interview, on 29 September, 3 or 4 October. A subset of the candidates will be invited for an in-person interview as well, on 9 or 12 October.About the department
The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. Our central goal is to develop formal techniques and tools to support the development of complex systems, and increase the reliability of the high-tech systems that we all rely on, both as individuals and as society.About the organisation
The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and Communication Technology (ICT). With ICT present in almost every device and product we use nowadays, we embrace our role as contributors to a broad range of societal activities and as pioneers of tomorrow's digital society. As part of a people-first tech university that aims to shape society, individuals and connections, our faculty works together intensively with industrial partners and researchers in the Netherlands and abroad, and conducts extensive research for external commissioning parties and funders. Our research has a high profile both in the Netherlands and internationally. It has been accommodated in three multidisciplinary UT research institutes: Mesa+ Institute, TechMed Centre and Digital Society Institute.Want to know more? Caltais, G. (Georgiana)
Assistant ProfessorCaltais, G. (Georgiana)
Do you have questions about this vacancy? Then you can contact Georgiana for all substantive questions about this position and the application procedure. For general questions about working for the UT, please refer to the chatbot.Contact
Email:[email protected]How to apply Step 1
Apply. When you see a vacancy that appeals to you, you can apply online. We ask you to upload a CV and motivation letter and/or list of publications. You will receive a confirmation of receipt by e-mail.Step 2
Selection. The selection committee will review your application and you will receive a response within 2 weeks after the vacancy has been closed.Step 3
1st interview. The 1st (online or in person) meeting serves as an introduction where we introduce ourselves to you and you to us. You may be asked to give a short presentation. This will be further explained in the invitation.Step 4
2nd interview. In the second interview, we will further discuss the job content, your skills and your talents.Step 5
The offer. If the conversations are positive, you will be made a suitable offer.Your Colleagues
Personal page LinkedIn Twitter
At the UT it's all about people, in line with our university's High Tech Human Touch philosophy. In everything we do, the well-being and future of our students and staff are paramount. From research and teaching to personnel management, campus management and the use of new technologies.
Our university is a public institution that serves society. We are accountable to society for the ways in which we use our academic freedom. We are responsible for ensuring that the power of science and technology is harnessed to achieve the best possible impact in a changing world. We cherish our rich tradition of combining technical and social sciences in our five profiling themes: Improving healthcare by personalized technologies; Creating intelligent manufacturing systems; Shaping our world with smart materials; Engineering our digital society; and Engineering for a resilient world.
We help society meet the challenges of today and tomorrow. But we are also transparent about what science and technology can and cannot do in finding sustainable solutions. And help translate these solutions into everyday life.
We want our communities to flourish and show resilience, so we seize opportunities for innovation. We are knowledgeable and have an eye for what society needs. Our students and staff receive all the guidance they need in their quest for ecological, social and economic sustainability. “The University of Twente is all about people. Our sustainable technologies help to strengthen society.”
Browse all jobs