We are looking for excellent PhD and postdoctoral candidates to work on the PrimaVera project. PrimaVera stands for 'Predictive maintenance for Very effective asset management' and is a multidisciplinary project funded within the framework of the prestigious Dutch National Research agenda.

The overall challenge in PrimaVera is to turn the grand promises in predictive maintenance into reality. Through an effective combination of sensor techniques, big data analysis, and maintenance engineering, we want to significantly improve failure predictions to render maintenance more effective.

You will work on an effective combination of formal methods (such as fault trees, stochastic model checking) and data analytics (decision trees, Bayesian networks, neural networks, reinforcement learning, POMDPs). PrimaVera is a joint project with the Eindhoven University of Technology, University of Twente, Saxion, Hague University of Applied Sciences, Dutch Aerospace Laboratory, and several industrial partners. You will be expected to participate in a fruitful collaboration with the industrial partners, for example, by carrying out an industrial case study.

• Enthusiastic students with an MSc degree in Computer Science or Mathematics (and a demonstrable interest in computer science).
• You should have a thorough theoretical background, and an interest in the verification of complex, industrial systems.
• Experience with formal methods, probability theory, data analytics, and/or maintenance is helpful.

Fixed-term contract: You will be appointed for an initial period of 18 months, after which your performance will be evaluated. If the evaluation is positive, the contract will be extended by 2.5 years.

• Employment: 32 - 40 hours per week.
• The gross starting salary amounts to €2,325 per month, and will increase to €2,972 in the fourth year (p scale).
• In addition to the salary: an 8% holiday allowance and an 8.3% end-of-year bonus.
• Duration of the contract: You will be appointed for an initial period of 18 months, after which your performance will be evaluated. If the evaluation is positive, the contract will be extended by 2.5 years.
• You will be able to make use of our Dual Career Service: our Dual Career Officer will assist with family-related support, such as child care, and help your partner prepare for the local labour market and with finding an occupation.
• Are you interested in our excellent employment conditions?

We want to get the best out of science, others and ourselves. Why? Because this is what the world around us desperately needs. Leading research and education make an indispensable contribution to a healthy, free world with equal opportunities for all. This is what unites the more than 22,000 students and 5,000 employees at Radboud University. And this requires even more talent and collaboration. You have a part to play!

Faculteit der Natuurwetenschappen, Wiskunde & Informatica

One position is available in the Software Science group, another in the Data Science group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. Research at iCIS focuses on software science, digital security, and data science. Our research mission is to improve the security and reliability of software systems and algorithms through mathematically based theories, methods and tools. During recent evaluations, iCIS has been consistently ranked as the No. 1 computing science department in the Netherlands. Evaluation committees praised our flat and open organisational structure, our ability to attract external funding, our strong ties to other disciplines, and our solid contacts with government and industrial partners. The Software Science group is well known for its contributions to the mathematical foundations of software, formal methods, and functional programming.