You cannot apply for this job anymore (deadline was 1 Oct 2019).
Browse the current job offers or choose an item in the top navigation above.
The Formal Methods and Tools (FMT) research group develops formal techniques and tools to support the development of complex systems. Our central goal is to increase the reliability of the high- tech systems that we all rely on, both as individuals and as society.
The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The group also participates in the Digital Society research institute (DSI). Nationally, DSI was ranked first in the latest research assessment.
We are looking for two excellent candidates on the PrimaVera project. PrimaVera stands for Predictive maintenance for Very effective asset management and is a multi-disciplinary project funded by the prestigious Dutch National Research agenda.
University of Twente
Group: Formal Methods and Tools
Further information:
FMT group: http://fmt.cs.utwente.nl/
Contact: Prof.dr. Marielle Stoelinga (m.i.a.stoelinga@utwente.nl)
The challenge
The overall challenge in PrimaVera is to realize the grand promises in predictive maintenance. Through an effective combination of sensor techniques, big data analysis, maintenance engineering, we want to predict failures better, so that maintenance can be more effective. The current positions focus on an effective combination of formal methods (such as fault trees and stochastic model checking) and data analytics (decision trees, Bayesian Networks, neural networks) predict failures and their root causes better.
You will be working on the PrimaVera project, a joint project with Eindhoven University of Technology, Radboud University, Saxion, Haagse Hogeschool and the Dutch Aerospace Laboratory, as well as several industrial partners. To realize a good collaboration with the industrial partners, you are expected to collaborate with the industrial partners, e.g., by carrying out an industrial case study.
The University of Twente. We stand for life sciences and technology. High tech and human touch. Education and research that matter. New technology which leads change, innovation and progress in society. The University of Twente is the only campus university of the Netherlands; divided over five faculties we provide more than fifty educational programmes. We have a strong focus on personal development and talented researchers are given scope for carrying out groundbreaking research.
We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status or disability status. Because of our diversity values we do particularly support women to apply.
The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) comprises three disciplines that shape Information and Communication Technology. ICT is more than communication. In almost every product we use mathematics, electronics and computer technology and ICT now contributes to all of societies' activities. The faculty works together intensively with industrial partners and researchers in the Netherlands and abroad and conducts extensive research for external commissioning parties and funders. The research which enjoys a high profile both at home and internationally, has been accommodated in the multidisciplinary research institutes: Mesa+ Institute, TechMed Centra and Digital Society Institute.
We like to make it easy for you, sign in for these and other useful features: