*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 here <https://www.utwente.nl/en/organization/careers/vacancies/%21/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 here <https://www.utwente.nl/en/organization/careers/vacancies/%21/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: [email protected] -- Dr Marielle Stoelinga Associate Professor of Risk Management for ICT University of Twente www.cs.utwente.nl/~marielle <http://www.cs.utwente.nl/%7Emarielle>
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
