The Coq mailing list

[Robbert Krebbers <mail AT robbertkrebbers.nl>]

Dear all,

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 https://iris-project.org/ for the many projects and papers 
that involve Iris.

**Requirements**: 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.

**Application**: 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.ru.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 https://www.ru.nl/phd/ for more 
information.

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

Best regards,

Robbert Krebbers
Assistant Professor in Computer Science
Radboud University Nijmegen, The Netherlands
robbert AT cs.ru.nl
https://robbertkrebbers.nl