Logic List Mailing Archive

PhD student position in mathematical game theory and model-based testing, Twente (The Netherlands), Deadline: 7 Apr 2014

Better Testing with Game Theory?

*We offer* an exciting and stimulating PhD project combining mathematical
game theory with model-based testing; excellent salary and working
conditions. Read more <http://fmt.cs.utwente.nl/research/projects/BEAT/>

*We are looking* for an excellent PhD candidate with a strong back ground
theoretical computer science or mathematics; and experience with software
engineering. Apply
here<http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ApplicationForm.cfm?PortalID=2537&VacatureID=644715>
(Deadline
April 7).

*We are* the Formal Methods & 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.

If you like more information, do not hesitate to contact me.

with kind regards,
Marielle Stoelinga---
Dr Marielle Stoelinga
Associate Professor of Risk Management for ICT
University of Twente
www.cs.utwente.nl/~marielle



-- 
Dr Marielle Stoelinga
Associate Professor of Risk Management for ICT
University of Twente
www.cs.utwente.nl/~marielle