PhD student position in mathematical game theory and model-based testing, Twente (The Netherlands)

The Formal Methods & Tools group at the University of Twente is looking for an excellent PhD candidate with a strong back ground theoretical computer science or mathematics and experience with software engineering, for the project 'Better Testing with Game Theory?', an exciting and stimulating PhD project combining mathematical game theory with model-based testing.

The project is funded by a TOP-grant from the Dutch Science Foundation NWO and led by Dr. Mariëlle Stoelinga, and offers excellent salary and working conditions.

Applications must be received before 7 April, 2014. For more information, see here or http://fmt.cs.utwente.nl/research/projects/BEAT/.