[TYPES/announce] Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[m.huisman at utwente.nl]

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<mailto: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 ensure the maximal reliability of concurrent and distributed software. In earlier projects, we started working on the development of a tool set for the verification of concurrent programs, called VerCors which is a result of Marieke Huisman’s earlier ERC project on verification of concurrent software. The VerCors tool set uses deductive program verification, i.e., the desired program properties are written in a pre-postcondition style (using a form of separation logic).

The focus of this Postdoc project will be on enabling verification of large programs with a significant concurrent aspect. Your ideas would be implemented in or should be applicable to the VerCors tool set. We value contributions to the theory of large-scale verification, to the process in which verification can be applied to large-scale software projects, and/or to the implementation of features that may have a significant impact on the usability of VerCors in the context of large scale verification.

For more information about the concrete project, please contact Marieke Huisman (m.huisman at utwente.nl<mailto:m.huisman at utwente.nl>).

We seek
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 and (prototype) tools.

We offer
- One post doc position for two years (38 hrs/week), with a possibility of extension of upto 2 more years.
- A stimulating scientific environment
- Full status as an employee at the University of Twente, including pension and health care benefits.
- 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

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 button, visit
https://www.utwente.nl/en/organization/careers/vacancy/!/423176/postdoc-position-on-the-mercedes-project-on-maximal-reliability-of-concurrent-and-distributed-software

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

Deadline: November 24, 2018. 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.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181031/076c7fb0/attachment-0001.html>