[ecoop-info] PhD and postdoc positions on multi-core model checking, Eindhoven, Netherlands

Fri Jul 24 14:05:25 CEST 2009

The Eindhoven University of Technology (TU/e) has the 
following vacancy: 

One PhD position on the project
"Efficient Multi-Core Model Checking" (V50.122) 

Project description 

Model checking is one of the most successful formal 
techniques for automated analysis and finding errors in 
software and hardware. Nowadays, model checking is used by 
major companies, like Microsoft and Intel, to improve the 
quality of their products. 

The aim of this project is to develop algorithms for model 
checking (including probabilistic model checking) that can 
fully exploit the parallelism of the new generations of 
multi- and many-core processors. The main bottleneck in 
practical applications of model checking is the state 
space explosion that has impact on the required memory and 
run-time. Therefore, we will strive towards designing 
efficient algorithms that are compatible with the major
techniques for state space reduction, like partial-order or 
symmetry reduction. 

We intend to develop prototype implementations of the new 
algorithms In model checkers, like Spin and its 
extensions, as well as the probabilistic model checker 
MRMC. The prototype implementations will be validated on 
case studies including models of biological systems. 

As PhD Student, you will: 

     * perform scientific research; 
     * work on the implementation of (prototype) tools; 
     * present results at international conferences; 
     * publish results in conference proceedings and 
scientific journals; 
     * write a Ph.D. thesis; 
     * participate in activities of the group and of the 
department. 

Requirements 

We are looking for a candidate who meets the following 
requirements: 

     * a MSc degree in Computer Science or equivalent; 
     * a solid theoretical background (preferably in model 
checking or 
       other formal methods); 
     * interest and experience in programming (especially 
experience in parallel and/or distributed computing will 
be considered an advantage); 
     * good communication- and writing skills in English. 

Working Environment, Appointment and Salary 

The project will be implemented as cooperation of several 
departments and groups. The Software Engineering and 
Technology group, headed by prof. dr. Mark van den Brand 
at the M&CS department of TU/e, focuses on maintaining 
consistency between models and code. Also, part of the 
work within the project will be done in the group of prof. 
dr. Joost-Pieter Katoen at RWTH Aachen University. Prof. 
Katoen has internationally recognized competence in the 
field of formal specification and verification of 
probabilistic systems. Biologically inspired case 
studies will be provided by the Biomodeling and 
Bioinformatics group of prof. dr. Peter Hilbers, who is 
also an expert on parallel algorithms and has an 
outstanding record in applications of parallel computing 
in biology. Most of the tool implementations will be done 
in close collaboration with the Laboratory for Quality 
Software at the M&CS at TU/e. 

We offer: 

     * a full-time employment for 4 years with an 
intermediate evaluation 
       after 1 year; 
     * a stimulating scientific environment with 
international cooperation 

     * access to modern equipment (multi- and many-core 
systems, computer clusters) 
     * a salary of Euro 2,042 per month (gross) in the 
first year, 
       increasing to Euro 2,612 per month (gross) in the 
fourth year. 
       Moreover 8% holiday allowance and 8.3 % End-of-year 
bonus is 
       provided annually; 
     * Support with your personal development and career 
planning; 
     * Attractive secondary labour conditions (including 
excellent work facilities, child care, sports facilities). 

Information 

     * Information about the position: 
       dr. Dragan Bosnacki 
      (dragan at win.tue.nl), 
       or 
       prof. dr. Mark van den Brand 
      (M.G.J.v.d.Brand at tue.nl), 
       prof. dr. Joost-Pieter Katoen 
      (katoen at cs.rwth-aachen.de), 
       prof. dr. Peter Hilbers (P.A.J.Hilbers at tue.nl).

     * Information about the job conditions: 
Mrs. Y.Bloemers-Kluijtmans, HR advisor (pzbmt at tue.nl)  

   * More information about the groups:*  

 Software Engineering and Technology group at TU/e: 

http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/set/ 

 Software Modeling and Verification group at RWTH Aachen 
University: 

 http://www-i2.informatik.rwth-aachen.de/ 

 Biomodeling and Bioinformatics group at TU/e: 

http://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biomodeling_and_bioinformatics/ 

Application 

Interested candidates are requested to send their 
application to: 
Eindhoven University of Technology, Dept. of Biomedical 
Engineering. You can send your application by e-mail to 
pzbmt at tue.nl. 

The application should consist of the following parts: 

     * a detailed curriculum vitae; 
     * an explanation of your interest in the proposed 
research field; 
     * a complete list of the courses you have attended 
and corresponding grades, name of at least two references, 
and all other information that might be relevant to your 
application; 
     * proof of English language skills (if applicable). 

(Please mention the vacancy number V50.122 in the 
subject.)  

The application deadline for this position is 31-08-2009.

----------------------------------------------------------------------

The Eindhoven University of Technology (TU/e) has the 
following vacancy: 

One postdoc position on the project
"Efficient Multi-Core Model Checking" (V50.123) 

Project description 

Model checking is one of the most successful formal 
techniques for automated analysis and finding errors in 
software and hardware. Nowadays, model checking is used by 
major companies, like Microsoft and Intel, to improve the 
quality of their products. 

The aim of this project is to develop algorithms for model 
checking (including probabilistic model checking) that can 
fully exploit the parallelism of the new generations of 
multi- and many-core processors. The main bottleneck in 
practical applications of model checking is the state 
space explosion that has impact on the required memory and 
run-time. Therefore, we will strive towards designing 
efficient algorithms that are compatible with the major 
techniques for state space reduction, like partial-order 
or symmetry reduction. 

We intend to develop prototype implementations of the new 
algorithms in model checkers, like Spin and its 
extensions, as well as the probabilistic model checker 
MRMC. The prototype implementations will be validated on 
case studies including models of biological systems. 

As postdoc, you will: 

     * perform scientific research; 
     * work on the implementation of (prototype) tools; 
     * present results at international conferences; 
     * publish results in conference proceedings and 
scientific journals; 
     * help supervise Ph.D. students; 
     * participate in activities of the group and of the 
department. 

Requirements 

We are looking for a candidate who meets the following 
requirements: 

     * a Ph.D. degree in Computer Science or equivalent; 
     * expertise in model checking or other formal 
methods; 
     * interest and experience in programming (especially 
experience in parallel and/or distributed computing will 
be considered an advantage); 
     * good communication- and writing skills in English. 

Working Environment, Appointment and Salary 

The project will be implemented as cooperation of several 
departments and groups. The Software Engineering and 
Technology group, headed by prof. dr. Mark van den Brand 
at the M&CS department of TU/e, focuses on maintaining 
consistency between models and code. Also, part of the 
work within the project will be done in the group of prof. 
dr. Joost-Pieter Katoen at RWTH Aachen University. Prof. 
Katoen has internationally recognized competence in the 
field of formal specification and verification of 
probabilistic systems. Biologically inspired case 
studies will be provided by the Biomodeling and 
Bioinformatics group of prof. dr. Peter Hilbers, who is 
also an expert on parallel algorithms and has an 
outstanding record in applications of parallel computing 
in biology. Most of the tool implementations will be done 
in close collaboration with the Laboratory for Quality 
Software at the M&CS at TU/e. 

We offer: 

     * a full-time employment for 3 years; 
     * a stimulating scientific environment with 
international cooperation 
     * access to modern equipment (multi- and many-core 
systems, computer clusters) 
     * a salary of at least Euro 2,861 per month (gross) 
based on knowledge and experience. Moreover 8% holiday 
allowance and 8.3 % End-of-year bonus is provided 
annually; 
     * Support with your personal development and career 
planning; 
     * Attractive secondary labour conditions (including 
excellent work facilities, child care, sports facilities). 

Information 

     * Information about the position: 
       dr. Dragan Bosnacki
       (dragan at win.tue.nl), 
       or 
       prof. dr. Mark van den Brand
      (M.G.J.v.d.Brand at tue.nl), 
       prof. dr. Joost-Pieter Katoen 
      (katoen at cs.rwth-aachen.de), 
       prof. dr. Peter Hilbers (P.A.J.Hilbers at tue.nl).

     * Information about the job conditions, Mrs. Y. 
Bloemers-Kluijtmans, HR advisor, (pzbmt at tue.nl)  

     * More information about the groups: 

Software Engineering and Technology group at TU/e: 

http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/set/ 

Software Modeling and Verification group at RWTH Aachen 
University: 

http://www-i2.informatik.rwth-aachen.de/ 

Biomodeling and Bioinformatics group at TU/e: 

http://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biomodeling_and_bioinformatics/ 

Application 

Interested candidates are requested to send their 
application to: 
Eindhoven University of Technology, Dept. of Biomedical 
Engineering. You can send your application by e-mail to 
pzbmt at tue.nl. 

The application should consist of the following parts: 

     * a detailed curriculum vitae; 
     * an explanation of your interest in the proposed 
research field; 
     * a complete list of the courses you have attended 
and corresponding grades, name of at least three 
references, and all other information that might be 
relevant to your application; 
     * proof of English language skills (if applicable). 

(Please mention the vacancy number V50.123 in the 
subject.)  

The application deadline for this position is 31-08-2009.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20090724/04809add/attachment-0001.html 