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.