vacancy is filled!

---

The research groups

and

are looking for:

2 Phd students working on Verification of Complex Hierarchical Systems

Applications are invited for 2 PhD studentships in the Netherlands. The positions are part of a four-year research project funded by NWO (the Netherlands Organisation for Scientific Research), under the direction of Dr. Tim Willemse (TU/e). The research is a joint effort between the Departments of Computer Science at UT and TU/e, and will be conducted in close collaboration with Prof. Rance Cleaveland (University of Maryland) and Dr. Frank Glege (CERN).

Aim of the project

The Compact Muon Solenoid (CMS) equipment at CERN is responsible for one of the four experiments in the Large Hadron Collider in Geneva. The software, controlling this experiment, consists of over 30,000 finite state machines, which are organised strictly hierarchically. Small constellations of state machines can be verified quite straightforwardly. Verifying the entire system, consisting of 30,000 parallel components requires techniques that take full advantage of the hierarchical architecture. The project pursues research in two complementary directions:

• symbolic verification.
• parallel and distributed verification.

The first line of research will be carried out at the TU/e in the Design and Analysis of Systems research group, headed by Prof. Jan Friso Groote. The second line of research will be pursued at the UT in the Formal Methods and Tools research group, headed by Prof. Jaco van de Pol. For information on the groups, see:

http://www.win.tue.nl/oas
http://fmt.cs.utwente.nl/

Research environments

The Design and Analysis of Systems research group is part of the Department of Mathematics and Computer Science. The department provides undergraduate and MSc programs in Industrial and Applied Mathematics and in Computer Science. The Department has research collaborations with other Departments at the TU/e as well as with a large number of other universities and companies, both at home and abroad. The Department has approximately 350 employees and more than 700 students.

The Formal Methods and Tools research group is part of the faculty EEMCS. We offer a stimulating scientific environment, with access to up-to-date hardware (cluster of multi-core computers). There are excellent facilities for professional and personal development and education. You will be part of the Twente Graduate School, of which FMT is leading the programme on Dependable and Secure Computing. Besides, you may enjoy the green campus, with lots of sports facilities.

Qualification requirements

We are looking for enthusiastic candidates that meet the following requirements:

• a solid background in Computer Science, witnessed by a MSc diploma;
• knowledge of process modelling and of formal methods; (e.g. automata theory, process algebra, formal verification, or equivalent topics)
• programming skills in C/C++/Java; (experience with distributed or multi-core programming is a pre for the UT position)
• candidates should be prepared to prove their English language skills;
• good communicative and good collaboration skills.

As research outcome we expect publications, prototype tools, and a PhD thesis. The starting date of the positions is as soon as possible after September 1st.

Appointment and salary:

For more information on working at TU/e and UT, working conditions, salary, etc., see:

conditions at TU/e
conditions at UT

Application details

Interested applicants should send the following information in PDF by E-mail to the addresses below. The subject should clearly state "Application to VOCHS".

• a CV, including a list of publications where applicable
• a 2-4 page summary of their MSc thesis (results, methods),
• a transcript of their academic record,
• a statement outlining their suitability for the project
• the names of two referees.

We will start reviewing applications starting from June 8, 2010, and we will continue to accept applications until the positions are filled. However, we strongly encourage interested applicants to send in their applications as soon as possible.

Please, send informal enquiries to Dr. Tim Willemse (T.A.C.Willemse@tue.nl) or Prof. Dr. Jaco van de Pol (J.C.vandePol@ewi.utwente.nl)

Up-to-date information on the availability of the positions can be found at:

http://www.win.tue.nl/~timw/vochs
http://fmt.cs.utwente.nl/vacancies.html

This page has last been updated by Axel Belinfante on Friday, 28 May 2010. validate