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. The 
position comes with an attractive salary and employment conditions. 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 
Aarhus University, BedRock Systems, Boston College, CNRS/LRI, Groningen 
University, INRIA, ITU Copenhagen, KU Leuven, Microsoft Research, MIT, 
MPI-SWS, NYU, Saarland University, and Vrije Universiteit Brussel). 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**: The initial application deadline is 20 June, but will 
be extended if no suitable candidate is found by that time.

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 before submitting 
an application.

**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 
between the end of August and the end of November.

Best regards,

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