PhD student Programming Languages

Research / Academic


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  a higher-order concurrency separation logic framework that is implemented in the Coq 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 and Eelco Visser   


- 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.   

Salary Benefits:

TU Delft offers a customisable compensation package, a discount for health insurance and sport memberships, and a monthly work costs contribution. Flexible work schedules can be arranged. An International Children’s Centre offers childcare and an international primary school. Dual Career Services offers support to accompanying partners. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities.

As a PhD candidate you will be enrolled in the TU Delft Graduate School. TU Delft Graduate School provides an inspiring research environment; an excellent team of supervisors, academic staff and a mentor; and a Doctoral Education Programme aimed at developing your transferable, discipline-related and research skills. Please visit for more information.

Work Hours:

38 - 40 hours per week


Mekelweg 2