<div dir="ltr"><table border="0" cellspacing="0" cellpadding="0" width="100%" style="font-family:arial,helvetica,sans-serif"><tbody><tr><td style="font-size:0.8em"><table border="0" cellspacing="0" cellpadding="0" class="">
<tbody><tr><td class="" valign="top" colspan="3"><font>Better Testing with Game Theory? <br><br><b>We offer</b> an exciting and stimulating PhD project combining mathematical game theory with model-based testing; excellent salary and working conditions. <a href="http://fmt.cs.utwente.nl/research/projects/BEAT/">Read more</a><br>
<br><b>We are looking</b> for an excellent PhD candidate with a strong back ground theoretical computer science or mathematics; and experience with software engineering. <a href="http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ApplicationForm.cfm?PortalID=2537&amp;VacatureID=644715">Apply here</a> (Deadline April 7).<br>
<br><b>We are</b> the Formal Methods &amp; Tools group at the University of Twente. The project is funded by a TOP-grant from the Dutch Science Foundation NWO and led by Dr. Mariëlle Stoelinga. <br><br>If you like more information, do not hesitate to contact me.<br>
<br>with kind regards,<br>Marielle Stoelinga</font></td></tr></tbody></table></td></tr><tr></tr></tbody></table>---<br><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/~marielle" target="_blank">www.cs.utwente.nl/~marielle</a></div>
</div>