Phd Student Programming Languages
Delft University of Technology Faculty Electrical Engineering, Mathematics and Computer Science

Phd Student Programming Languages



Department/faculty: Faculty Electrical Engineering, Mathematics and Computer Science

Level: University Graduate

Working hours: 38-40 hours weekly

Contract: 4 years

Salary: 2266 - 2897 euros monthly (full-time basis)

Closing date

    June 15, 2019


Faculty Electrical Engineering, Mathematics and Computer Science



The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) is known worldwide for its high academic quality and the social relevance of its research programmes. The faculty’s excellent facilities accentuate its international position in teaching and research. Within this interdisciplinary and international setting the faculty employs more than 1100 employees, including about 400 graduate students and about 2100 students. Together they work on a broad range of technical innovations in the fields of sustainable energy, telecommunications, microelectronics, embedded systems, computer and software engineering, interactive multimedia and applied mathematics.


The Department Software Technology (ST) is one of the leading Dutch departments in research and academic education in computer science, employing over 150 people. The department ST is responsible for a large part of the curriculum of the bachelor’s and master’s programmes in Computer Science as well as the master’s programme Embedded Systems. The inspiration for its research topics is largely derived from technical ICT problems in industry and society related to large-scale distributed processing, embedded systems, programming productivity, and web-based information analysis.     


The Programming Languages (PL) group aims at improving the correctness, reliability, and security of software. To achieve that,  they develop novel methods, techniques and tools for language engineering, program verification, static analysis, and incremental computation. The PL group is active in education at both the BSc and MSc levels, and it offers an MSc specialization track.       


Job description


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.   


Conditions of employment


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.


Information and application


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


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  to: When applying for this postition, please refer to vacancy number EWI2018.76.


We will be considering applications until the position is filled.





Enquiries from agencies are not appreciated.

If you apply for this position please say you saw it on Engineeroxy


All Jobs


Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions

University of Zurich Job Postings