[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.huis...@utwente.nl<mailto:m.huis...@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.huis...@utwente.nl<mailto:m.huis...@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.huis...@utwente.nl)<mailto:m.huis...@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.
