coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD position Better Testing with Game Theory, University of Twente

From: Marielle Stoelinga <marielle AT cs.utwente.nl>
To: Marielle Stoelinga <m.i.a.stoelinga AT utwente.nl>
Subject: [Coq-Club] PhD position Better Testing with Game Theory, University of Twente
Date: Thu, 13 Mar 2014 10:31:29 +0100

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

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 (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

[Coq-Club] PhD position Better Testing with Game Theory, University of Twente, Marielle Stoelinga, 03/13/2014
- [Coq-Club] Fwd: PhD position Better Testing with Game Theory, University of Twente, Marielle Stoelinga, 03/24/2014