[Om-announce] 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking

[Marielle Stoelinga]

*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: m.i.a.stoelinga at utwente.nl


-- 
Dr Marielle Stoelinga
Associate Professor of Risk Management for ICT
University of Twente
www.cs.utwente.nl/~marielle <http://www.cs.utwente.nl/%7Emarielle>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20161223/7801bf76/attachment-0001.html>