2 PhD positions in Automated Verification

[ Relevance to types: Many `types' researchers are strongly
interested in theorem proving. Their students are highly
encouraged to apply for these positions. JvdP]

CWI (Center for Mathematics and Computer Science) in Amsterdam 
and TU/e (Eindhoven University of Technology) in Eindhoven
are looking for:

        2 PhD-researchers  (4 years)

for the following joint research project:

Integrating Techniques for the Verification of Distributed Systems

The goal of the project is the comparison and development of
algorithms for the automatic verification of large formulae (in the
boolean/arithmetic realm).  We also strive for efficient
implementations of such algorithms, in order to test their
effectiveness on benchmark formulae. These formulae arise from our
continuous investigations in the symbolic verification of distributed

More specifically, we expect promising results by comparing and
combining existing techniques, such as resolution, binary decision
diagrams and term rewriting.

One of the candidates will work at CWI (Amsterdam) in the group
"Specification and Analysis of Embedded Systems", the other at TU/e
(Eindhoven) in the group "Embedded Systems". These groups have
a strong collaboration, and have their merits in theoretical
results as well as industrial applications on distributed systems.

For more information, please find the research proposal on
http://www.cwi.nl/~vdpol/itvds.ps, or contact:
Prof. Dr. Ir. J.F. Groote TU/e    jfg@win.tue.nl       +31 (0)40 247 4416
Dr. W. Fokkink          CWI   Wan.Fokkink@cwi.nl       +31 (0)20 592 4104
Dr. J.C. van de Pol     CWI   Jaco.van.de.Pol@cwi.nl   +31 (0)20 592 4137
Dr. H. Zantema          TU/e  hansz@cwi.nl 

If you are interested in this challenging project, and (nearly)
finished your study in computer science, mathematics or logic,
please react soon, by sending your CV, including an abstract
of your master's thesis and a list of marks, to the project leader 
Dr. J.C. van de Pol, CWI, Postbus 94079, 1090 GB Amsterdam, 
or (preferably) by E-mail to Jaco.van.de.Pol@cwi.nl.