Robbert Krebbers


I have an opening for a 4 year PhD position at Radboud University. In case of an exceptionally strong candidate, the PhD position can be turned into a postdoc position for 1.5 to 2 years.

The project involves the development of automatic methods for program verification based on concurrent separation logic and type systems. You will apply the developed methods to verify security and correctness properties of a realistic hypervisor written in C, as part of an ongoing collaborative project with Google, MPI-SWS, Cambridge, SNU, and Aarhus.

The foundations of this project will be developed on top of the Iris framework for concurrent separation logic in the Coq proof assistant. Iris has been developed over the last 5 years in collaboration with MPI-SWS and Aarhus, and has been used by (and received many contributions from) a large network of other institutes (including Boston College, Inria, CNRS, KU Leuven, ITU, UIC, CMU, MIT, and BedRock Systems). See the Iris website for the many projects and papers that involve Iris.


You have a strong background in programming language theory and formal verification. You like to work on deep foundational research, and apply your research to verification of real-life software. You are required to have a master's degree (or equivalent) in computer science or mathematics (or you expect to obtain such a degree soon). Prior knowledge of Coq is preferred.


I will be considering applications until the position is filled (applications before April 1 are preferred). To apply for the position, please send a resume, grade transcript, motivation letter and research statement to me at robbert AT cs DOT ru DOT nl.

If you have questions, do not hesitate to contact me.

Employment conditions

Radboud University offers an attractive salary (the gross salary of a PhD student starts at 2.395 EUR per month, and increases to 3.061 EUR per month in the last year, based on a 38-hour working week) and excellent employment conditions (including 8% holiday allowance, 8% end-of-year bonus, assistance with family-related support such as child care). See for more information.

The starting date is flexible, but I would prefer it if you could start as soon as possible.