2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking

Fewer train delays via big data analytics, fault trees, and stochastic model checking? The University of Twente seeks 2 PhD candidates

We seek two excellent PhD candidates to work on the SEQUOIA project. We aim to improve the reliability of the (Dutch) railroads by deploying big data analytics to predict and prevent failures. Its scientific core is a novel combination of machine learning, fault tree analysis and stochastic model checking. For more information about the position, see https://www.utwente.nl/en/organization/careers/vacancies/%2521/vacature/888350.

We offer two fully paid PhD positions, with excellent salary and benefits, at a very strong and inspiring research department. To apply, see https://www.utwente.nl/en/organization/careers/vacancies/%2521/vacature/888350/apply.

We are the Formal Methods & Tools and Database group at the University of Twente, the Netherlands. Ranked 1st in the Dutch National Research Assessment. The project is lead by Marielle Stoelinga, Djoerd Hiemstra, Joost-Pieter Katoen. Contact: m.i.a.stoelinga@utwente.nl