Three PhD Positions on the Intersection of Formal Methods, Artificial Intelligence and Machine Learning

The Institute for Computing and Information Science at the Faculty of Science is looking for three excellent PhD candidates. Each position is dedicated to one of the following projects:

PrimaVera - Predictive maintenance for Very effective asset management
The overall challenge in the NWA-funded PrimaVera project is to fulfil the grand promises in predictive maintenance. 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 the intersection 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 Eindhoven University of Technology, the University of Twente, Saxion, Hague University of Applied Sciences and the Dutch Aerospace Laboratory, as well as 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. For more information, see https://primavera-project.com/ . The project will be supervised by Dr. Nils Jansen and Prof. Marielle Stoelinga.

Further details:
Three PhD Positions on the Intersection of Formal Methods, Artificial Intelligence and Machine Learning