<div dir="ltr"><div class="gmail_quote"><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">


<tbody><tr><td valign="top" colspan="3"><font><table border="0" cellspacing="0" cellpadding="0" width="100%" style="font-size:12.571428298950195px;font-family:arial,helvetica,sans-serif"><tbody><tr><td style="font-size:0.8em">
<table border="0" cellspacing="0" cellpadding="0"><tbody><tr><td valign="top" colspan="3">Better Testing with Game Theory? <br><br></td></tr></tbody></table></td></tr></tbody></table><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/" target="_blank">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" target="_blank">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></div></div>