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 [...]
Entries Tagged as 'Jobs'
PhD Researcher Position on Multi-Core Model Checking
October 20th, 2008 · No Comments
Tags: Jobs · MulticoreInfo