[ecoop-info] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[m.huisman at utwente.nl]

2 PhD positions and 1 Postdoc position

on the Mercedes project in Twente (Netherlands):

Maximal Reliability of Concurrent and Distributed Software



University of Twente

Group: Formal Methods and Tools

Contact: Prof.Dr. Marieke Huisman (m.huisman at utwente.nl)



Job Description

You will be working on the Mercedes project, a 1,5 million euro personal grant for Marieke Huisman, funded by NWO.



Goal of the Mercedes project is to develop techniques to ensures the maximal reliability of concurrent and distributed software. This is achieved by developing a technique to construct an abstract mathematical model from a concurrent or distributed application, such that program logics can be used to prove the formal connection between the software and its abstraction.



The framework will be general, capturing many different concurrent and distributed programming paradigms. An important goal of the project is to support automated reasoning, by developing techniques to automatically generate the necessary additional annotations. The project will also investigate the use of the abstraction theory in the opposite direction, to derive a correct program via refinement.



Two PhD positions are available to work on the following subprojects:

- Abstraction theory: a general compositional abstraction theory for models of concurrent and distributed software

- Code-level Verification: algorithms for automated verification of non-trivial program properties



One Post Doc position is available to work on the following subproject:

- Refinement: a refinement technique to derive concrete program code from an abstract model



All results of the Mercedes project will be integrated in the VerCors tool set for verification of concurrent software, which is a result of Marieke Huisman’s earlier ERC project on verification of concurrent software.



For more information about the concrete subprojects, please contact Marieke Huisman: m.huisman at utwente.nl.



We seek

- Two PhD students with an MSc degree (or equivalent) in Computer Science

- One post doc with a PhD degee in Computer Science (or equivalent)



The candidates should be enthousiastic, and have a thorough theoretical background, a demonstrable interest in program verification, and some knowledge about multithreaded programming (in Java/C/C++).



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 works on the

topics listed above.  Further we ask for good communicative and collaboration skills. Candidates should be prepared to prove their English language skills.



As a research outcome we expect publications, (prototype) tools, and for the PhD students a PhD thesis.



Starting date of the position: as soon as possible, preferably before June 1, 2017.



We offer

- Two PhD position for four years (38 hrs/week)

- One post doc position for two years (38 hrs/week), with a possibility of extension of upto 3 more years.

- A stimulating scientific environment

- Full status as an employee at the University of Twente, including pension and health care benefits.

- Gross salary PhD student: ranging from € 2.191,00 (1st year) to € 2.801,00 (4th year) per month, plus holiday allowance (8%) and end-of-year bonus (8.3%).

- Gross salary for a Postdoc is dependent on experience and background, but will minimally be € 3.068,00 per month (scale 10.4), plus holiday allowance (8%) and end-of-year bonus (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



The PhD student will be a member of the Twente Graduate School in the research programme 'Dependable and Secure Computing'. The research programme offers advanced courses to deepen your scientific knowledge in preparation to your future career (within or outside academia). We provide our PhD students with excellent opportunities to broaden their personal knowledge and to professionalise their academic skills. Participation

in national and/or international summer schools and workshops, and visits to other prestigious research institutes and universities can be part of this programme.



Further information

- FMT group: http://fmt.cs.utwente.nl/

- Prof.Dr. Marieke Huisman (M.Huisman at utwente.nl)<mailto:M.Huisman at utwente.nl)>: http://wwwhome.cs.utwente.nl/~marieke/

- Project webpage: http://fmt.ewi.utwente.nl/research/projects/Mercedes/



Application

To apply for the PhD position directly:

https://www.utwente.nl/en/organization/careers/vacancies/!/vacature/1019842

To apply for the post doc position directly:

https://www.utwente.nl/en/organization/careers/vacancies/!/vacature/1019858



Please use the Apply Now button at the bottom of the page.



Deadline: May 1, 2017, or until the positions are filled. Earlier applications are welcome and an early start date is an advantage.



Your application should consist of:



- a cover letter (explaining your specific interest and qualifications);

- a full Curriculum Vitae,

  to apply for the PhD student position, this should include a list of

  all courses + marks, and a short description of your MSc thesis;

  to apply for the post doc position, this should include a list of

  all publications, and a short description of your PhD thesis;

- references (contact information) of two scientific staff members.