We have changed our domainWe have changed servers and operate Career|edu under a different domain. Our services will remain unchanged and we will continue to post the best career openings for the academic world at our new domain.
Go back to the Job List
2 PhD positions on the Mercedes project in Twente (Netherlands) : Maximal Reliability of Concurrent and Distributed SoftwarePosted by: University of Twente
Posted date: 2017-Aug-03
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. 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.
We are looking for two PhD students to work on the following subprojects:
For more information about the concrete subprojects, please contact Marieke Huisman.
We are looking for enthusiastic students that hold a MSc degree in Computer Science (or equivalent). The candidates should have a thorough theoretical background, a demonstrable interest in program verification and some knowledge about multithreaded programming (in Java/C/C++).
As a research outcome we expect publications, (prototype) tools and a PhD thesis.
Your application should consist of:
There is no deadline for these positions, they will be open until the positions are filled. Please submit your application via the application link below and in parallel send an email to Prof.dr. Marieke Huisman. Further information:
Conditions of employment
The University of Twente offers excellent working conditions, an exciting scientific environment, and a green and lively campus. We offer:
Starting date of the position: can be discussed.
The University of Twente. We stand for life sciences and technology. High tech and human touch. Education and research that matter. New technology which drives change, innovation and progress in society. The University of Twente is the only campus university in the Netherlands; divided over five faculties we provide more than fifty educational programmes. The University of Twente has a strong focus on personal development and talented researchers are given scope for carrying out pioneering research.