1. Vacatures
  2. Technische Universiteit Delft (TUD)
  3. PhD student Programming Languages

Helaas, deze vacature staat inmiddels niet meer online

Kijk gerust verder naar andere vacatures.

PhD student Programming Languages

The Programming Languages group at Delft University of Technology is looking for a PhD student. The topic of research, which will be determined based on the …

4 maanden geleden


Mekelweg, Delft, Zuid-Holland
Tijdelijk contract / Tijdelijke opdracht
Uren per week:
38 - 40 uur
€ 2266 - € 2897 per maand


The Programming Languages group at Delft University of Technology is looking for a PhD student. The topic of research, which will be determined based on the common interests of the candidate and the supervisor, will be in the development of expressive program logics for:

- Verification of multilingual software

- Verification of asynchronous I/O

- Verification of non-functional properties (time/space/security properties/...)

- Verified compilation

This work will revolve around Iris https://iris-project.org/: a higher-order concurrency separation logic framework that is implemented in the Coq https://coq.inria.fr/ proof assistant. Iris has been successfully used for a variety of applications including but not limited to logical relations for relational reasoning, program logics for relaxed memory models, program logics for object capabilities, and a safety proof for a realistic subset of the Rust programming language.

The successful candidates will work under the supervision of Robbert Krebbers https://robbertkrebbers.nl and Eelco Visser https://eelcovisser.org/   


- A master's degree (or equivalent) in computer science, with a strong interest in program verification, proof assistants, and program semantics.

- A strong commitment to research.

- Previous experience with Coq or separation logic is preferred, but not necessary.   




Additional information

For information about this vacancy, you can contact Robbert Krebbers, Assistant Professor. email: mail@robbertkrebbers.nl

To apply, please e-mail a detailed CV (with contact information for two referees) along with a letter of motivation and a detailed transcript of university grades. If applicable, please also attach a (draft) version of your Master thesis.

Please send your application material before April 1, 2019 to: Hr-eemcs@tudelft.nl. When applying for this postition, please refer to vacancy number EWI2018.76