The research group Formal Methods and Tools at the University of Twente (Enschede, The Netherlands) is looking for a PhD researcher (4 years), on Multi-core Model Checking (MCMC) (vacancy number 08/076).
Model checking is to be interpreted quite broadly here. It encompasses:
* state space generation
* model checking algorithms [...]
