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 for logics like CTL, LTL, mu-calculus, including their quantitative extensions
* state space reduction algorithms
* test case generation algorithms
