Logic List Mailing Archive

Three postdocs in Twente / CWI / Eindhoven: Distributed Model Checking

3 Postdocs on Distributed Model Checking
  ========================================

We are looking for 3 Postdocs (2 and 3 years) for the NWO/Focus project

    A Verification Grid for Enhanced Model Checking,

which aims at designing and building a distributed model-checking
infrastructure for verifying requirements on system behaviour, in
particular those depending on data and stochastic information.

The positions =============

The project is a collaboration between the following Dutch research
groups:

- University of Twente, the group "Design and Analysis of Communication
  Systems"
   1 Postdoc - 3 years contact: Prof.Dr.Ir. B.R. Haverkort,
   brh@cs.utwente.nl
            http://dacs.cs.utwente.nl/

- CWI Amsterdam, the group "Specification and Analysis of Embedded
  Systems"
   1 Postdoc - 3 years contact: Dr. J.C. van de Pol, vdpol@cwi.nl
            http://www.cwi.nl/sen2/

- Technische Universiteit Eindhoven, the group "Design and Analysis of
  Systems"
   1 Postdoc - 2 years contact: Prof.Dr.Ir. J.F. Groote, jfg@win.tue.nl
            http://www.win.tue.nl/oas/en_index.html

The research
============

Besides improved algorithms for model checking, the increased
capabilities of computers are a driving force behind the feasibility
of system verification. We want to push the limits of verification
technology further by employing networks of workstations on a large
scale. Concretely, we want to arrive at the situation where we can
verify practical modal formulas (containing data and/or stochastic
information) on large models using the storage and processing capacity
of interconnected networks of workstations.

We will not only employ standard model checking algorithms, but will
especially develop new model checking algorithms for extended model
classes, and will combine them with algorithms for model reduction,
symbolic reasoning and theorem proving techniques. In particular, we
will develop variants of these new algorithms that can be executed
efficiently on a nation-wide interconnected networks of workstations
(a grid).

The full proposal can be found at
http://homepages.cwi.nl/~vdpol/VeriGEM_proposal.pdf


Requirements
============

Candidates should have
- a (nearly) finished PhD thesis;
- good knowledge of algorithms for formal methods,
   especially in model checking and/or state space reduction;
- preferably, experience with the design and implementation
   of distributed algorithms

Starting date of the project is September 1st, 2005, at the latest.

How to react
============
- Send your application letter, including CV, publication list and the
   names of three references by E-mail to one of the contact addresses
   above, NO LATER THAN JULY 10, 2005.
- For more information, please contact one of the E-mail addresses above.