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.
YOUR PROFILE
- You have, or will shortly acquire, a MSc degree in Computer Science, Mathematics, or a related field.
- You have a creative mindset and strong problem-solving and analytical skills.
- You are comfortable with working on practical tasks, on industrial case studies.
- You have a thorough theoretical background, e.g., in formal methods.
- You have experience with at least one of the fields of safety, failure analysis, statistical and/or knowledge modelling, information extraction, and are willing to delve deeper into these topics.
- You are fluent in English and have excellent communication skills.
- You have good team spirit and like to work in an interdisciplinary and internationally oriented environment, collaborating within the industry and academia alike.
OUR OFFER
- As a PhD student at UT, you will be appointed to a full-time position for four years, with a qualifier in the first year, within a very stimulating and exciting scientific environment;
- The University offers a dynamic ecosystem with enthusiastic colleagues;
- Your salary and associated conditions are in accordance with the collective labour agreement for Dutch universities (CAO-NU);
- You will receive a gross monthly salary ranging from € 2.770,- (first year) to € 3.539,- (fourth year);
- There are excellent benefits including a holiday allowance of 8% of the gross annual salary, an end-of-year bonus of 8.3%, and a solid pension scheme;
- The flexibility to work (partially) from home;
- A minimum of 232 leave hours in case of full-time employment based on a formal workweek of 38 hours. A full-time employment in practice means 40 hours a week, therefore resulting in 96 extra leave hours on an annual basis.
- Free access to sports facilities on campus
- A family-friendly institution that offers parental leave (both paid and unpaid);
- You will have a training programme as part of the Twente Graduate School where you and your supervisors will determine a plan for a suitable education and supervision;
- We encourage a high degree of responsibility and independence, while collaborating with close colleagues, researchers and other staff. Starting date of the position: as soon as possible.
INFORMATION AND APPLICATION
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:
- A motivation letter, emphasizing your specific interest and motivation to apply for this PhD position in our group.
- A full Curriculum Vitae including your education, publications, awards, working experience. Your CV should demonstrate the scope of your work and education and indicate a good fit with the stated requirements for the position.
- An academic transcript of BSc and MSc education, including grades.
- A short description of your last large deliverable (MSc thesis, final project report, EngD thesis).
- References (contact information) of two scientific staff members (such as the supervisor of your MSc thesis/final project) who are willing to provide a recommendation letter at our request.
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, g.g.c.caltais@utwente.nl or Prof. Dr. Mariëlle Stoelinga, m.i.a.stoelinga@utwente.nl.
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.