Free Scholarship | Post Doctoral Position

Job description
Model checking is one of the most successful techniques for the automated analysis of a system’s design models, or even software. It is used to asses a system’s dependability, and is very effective to uncover deep bugs in the design or code of a system.

Unfortunately, model checking is also very resource intensive, both in memory and run-time. Our general research goal is to design new model checking algorithms, and to develop new tools, that make better use of available modern hardware.

The current trend is to have workstations equipped with more processors/cores, rather than to increase clock speeds. Hence we investigate parallel algorithms. In order to use the aggregated memory of multiple workstations, we investigate distributed algorithms.
Non-standard solutions, like using external memory (disk) or specialized hardware (stream processors) are under investigation too.

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

Requirements

University Graduate
An enthusiastic PhD student with an MSc degree in Computer Science (or an equivalent qualification). The candidate should have a thorough theoretical background (esp. model checking algorithms), and a demonstrable interest in performance-aware programming. Experience in parallel or distributed computing is considered an advantage.

We are looking for a researcher with an independent mind who is willing to cooperate in our team. It is understood that he or she selects his or her own topic in the field sketched above. As a research outcome we expect publications, (prototype) tools, and a PhD thesis. Starting date of the position: as soon as possible.

Organization
University of Twente Electrical Engineering, Mathematics and Computer Science
Sharing knowledge, working together, research, innovation. It is all part of the only campus university in the Netherlands: the University of Twente (UT). A university with an international character. We have for example many foreign doctoral students, and master programmes are provided in English. Divided over 5 faculties, we provide more than 50 Bachelor and Master programmes, varying from Applied Physics and Public Administration to Applied Communication Science and Biomedical Technology. In beautiful green surroundings, more than 8000 students and 2700 staff live, work and recreate at the UT. It is also a place where talented people get every opportunity to perform cutting edge research. But as an entrepreneurial university this is not all we do. In Kennispark, for example, we work together with the business community, we support our students in setting up their own businesses and participate in many projects in the area of knowledge development. In brief, a dynamic climate in which to work and study.

The Department of Electrical Engineering of the Faculty of Electrical Engineering, Mathematics and Computer Science comprises of 250 faculty staff and app. 500 students. It offers a BSc programme in Electrical Engineering and an MSc programme in Electrical Engineering with 5 specialisations (Microsystems and Microelectronics, Measurement and Control Engineering, Telecommunication Networks, Biomedical Engineering and Embedded Systems) and contributes to the MSc programmes of Mechatronics and Nanotechnology. Research is directed toward signal processing, transmission and storage. The Department is characterized by a large number of contacts with government institutions, European Union and industry.

Conditions of employment
Estimated maximum salary per month: eur 2000 - 2500
Salaryscale 10.
Maximum salary amount in Euro’s a month 2558
Employment basis: Temporary for specified period
Duration of the contract: 4 years
Maximum hours per week: 38

Additional conditions of employment:
-A PhD position for four years (38 hrs/week)
-A stimulating scientific environment
-Access to up-to-date hardware (cluster of multi-core computers)
-Gross salary ranging from appr. EUR 2000,= (1st yr) to EUR 2600,= (4th yr) per month
-Holiday allowance (8%), end-of-year bonus (this year 6.4%, next year 8.3%)
-Excellent facilities for professional and personal development.
-Good secondary conditions, in accordance with the collective labour agreement CAO NU for Dutch universities
-A green Campus with lots of sports facilities

Additional Information
Additional information about the vacancy can be obtained from:

Jaco van de Pol
Telephone number: 053 489 3017
E-mail address: vdpol@cs.utwente.nl

Or additional information can be obtained through one of the following links.

www.utwente.nl
About the organisation

Application
You can apply for this job before 30-11-2008 by sending your application to:

University of Twente
EWI
Ing. H. van Egmond
postbus 217
7500 AE Enschede

E-mail address: jlammeri@cs.utwente.nl

When applying for this job always mention the vacancy number AT/08/076-2.
netherland phd scholarship