<div dir="ltr">
<p class="MsoNormal"><span lang="EN-US"><i>Fewer train delays via big data
analytics, fault trees, and stochastic model checking? </i>The University of Twente seeks 2 PhD
candidates</span></p>
<p class="MsoNormal"><b><span style="font-size:10pt" lang="EN-US"> </span></b></p>
<p class="MsoNormal"><b><span style="font-size:10pt" lang="EN-US">We seek </span></b><span style="font-size:10pt" lang="EN-US">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 </span><span lang="EN-US"><a href="https://www.utwente.nl/en/organization/careers/vacancies/%21/vacature/888350"><span style="font-size:10pt">here</span></a></span><span style="font-size:10pt" lang="EN-US">.</span></p>
<p class="MsoNormal"><span style="font-size:10pt" lang="EN-US"> </span></p>
<p class="MsoNormal"><b><span style="font-size:10pt" lang="EN-US">We offer </span></b><span style="font-size:10pt" lang="EN-US">two fully paid PhD positions, with excellent salary and benefits, at a
very strong and inspiring research department. To apply, see </span><span lang="EN-US"><a href="https://www.utwente.nl/en/organization/careers/vacancies/%21/vacature/888350/apply"><span style="font-size:10pt">here</span></a></span><span style="font-size:10pt" lang="EN-US">.</span></p>
<p class="MsoNormal"><span style="font-size:10pt" lang="EN-US"> </span></p>
<p class="MsoNormal"><b><span style="font-size:10pt" lang="EN-US">We are </span></b><span style="font-size:10pt" lang="EN-US">the Formal Methods & Tools and Database group at the University of
Twente, the Netherlands. Ranked 1<sup>st</sup> in the Dutch National Research
Assessment. The project is lead by Marielle Stoelinga, Djoerd Hiemstra,
Joost-Pieter Katoen. Contact: <a href="mailto:m.i.a.stoelinga@utwente.nl">m.i.a.stoelinga@utwente.nl</a></span></p>
<br clear="all"><br>-- <br><div class="gmail_signature"><div>Dr Marielle Stoelinga</div><div>Associate Professor of Risk Management for ICT</div><div>University of Twente</div><div><a href="http://www.cs.utwente.nl/%7Emarielle" target="_blank">www.cs.utwente.nl/~marielle</a></div></div>
</div>