<div dir="ltr"><div dir="ltr"><p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><b><i><span style="font-size:10pt;font-family:Arial,sans-serif">Fewer train delays and rail disruptions?  </span></i></b><span style="font-size:10pt;font-family:Arial,sans-serif">Come join us to improve the quality of the design and implementation of
railroad elements (e.g. interlockings and </span><span style="color:rgb(30,35,40);font-family:"Univers Next W02",Arial,Helvetica,sans-serif;font-size:15px">signalling systems</span><span style="font-family:Arial,sans-serif;font-size:10pt">), via model checking and model-based testing.</span></p>

<p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:Arial,sans-serif"> </span></p>

<p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:Arial,sans-serif">The University of
Twente seeks a PhD candidate on the FormaSig project, a collaboration between
Eindhoven University of Technology (TU/e), and railroad asset managers ProRail
and Deutsche Bahn.</span></p>

<p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><b><span style="font-size:10pt;font-family:Arial,sans-serif"> </span></b><span style="font-family:Arial,sans-serif"></span></p>

<p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><b><span style="font-size:10pt;font-family:Arial,sans-serif">We seek </span></b><span style="font-size:10pt;font-family:Arial,sans-serif">an excellent PhD
candidate to work on the FormaSig project. We aim to improve the
reliability of the (Dutch) railroads by deploying model checking and
model-based testing. The scientific core is a novel combination of model
transformation, model checking and model-based testing. For more information
about the position, see <a href="https://fmt.ewi.utwente.nl/research/projects/view/FormaSig/" style="color:blue">here</a>.</span></p>

<p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:Arial,sans-serif"> </span><span style="font-family:Arial,sans-serif"></span></p>

<p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><b><span style="font-size:10pt;font-family:Arial,sans-serif">We offer </span></b><span style="font-size:10pt;font-family:Arial,sans-serif">a fully paid PhD
positions, with excellent salary and benefits, at a very strong and inspiring
research department. To apply, see <a href="https://www.utwente.nl/en/organization/careers/!/852352/phd-position-for-the-formasig-project-on-verification-of-railroad-systems" style="color:blue">here</a>.</span><span style="font-family:Arial,sans-serif"></span></p>

<p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><span style="font-size:10pt;font-family:Arial,sans-serif"> </span><span style="font-family:Arial,sans-serif"></span></p>

<p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt"><b style="font-family:Calibri,sans-serif;font-size:12pt"><span style="font-size:10pt;font-family:Arial,sans-serif">We are </span></b><span style="font-family:Arial,sans-serif;font-size:10pt">the Formal Methods
& Tools at the University of Twente, the Netherlands.
Ranked 1^st in the last Dutch National Research Assessment. The
project is led by Dr. Bas Luttik (TU/e), Prof.dr.Marielle Stoelinga and <a href="http://Prof.dr.ir">Prof.dr.ir</a>
Arend Rensink. Contact: </span><a href="mailto:m.i.a.stoelinga@utwente.nl" target="_blank" style="font-family:Arial,sans-serif;font-size:10pt;color:blue">m.i.a.stoelinga@utwente.nl</a><span style="color:rgb(17,85,204);font-family:Arial,sans-serif;font-size:10pt"> </span></p><p class="MsoNormal" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;margin:0cm 0cm 0.0001pt">or<span style="font-family:Arial,sans-serif;font-size:10pt"><span style="color:rgb(17,85,204)"> </span></span><font color="#1155cc" face="Arial, sans-serif"><span style="font-size:13.3333px"><a href="mailto:arend.rensink@utwente.nl">arend.rensink@utwente.nl</a> </span></font></p>

<p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;font-size:12pt;font-family:Calibri,sans-serif"><span lang="EN-GB"> </span></p><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr">Prof.dr. Marielle Stoelinga</div><div dir="ltr">Professor of risk management for high-tech systems<br><div>University of Twente & Radboud University, the Netherlands</div><div>+31 53 489 3773 | <a href="http://wwwhome.ewi.utwente.nl/~marielle/coordinates.html" target="_blank">Address & contact</a> | <a href="http://wwwhome.ewi.utwente.nl/~marielle/" target="_blank">www.ewi.utwente.nl/~marielle/</a></div></div></div></div></div></div></div>