[TYPES/announce] PhD positions on ERC project on type systems and separation logic

[Robbert Krebbers]

(Please forward this mail to any good students you might know!)

Dear all,

I am looking for two strong PhD candidates for my ERC Consolidator 
project "Developing Correct Concurrent Software Using Types" (COCONUT), 
see https://urldefense.com/v3/__https://robbertkrebbers.nl/coconut.html__;!!IBzWLUs!UMbUe3lR9dm4zUGzwBZeh5X6fV-8F02x04k-0SdscZdk6X23Kaj6O_qRk4hp48ewtbCnuwGzlC-gbRV9A5ZxLXtNIIkfnOdGN5o$  for more information.

I am looking for candidates who want to work in the intersection of 
programming language theory, formal verification, and proof assistants. 
A master's degree in computer science, mathematics, or a related field 
is required. There is no need to have prior experience with Rocq or Iris 
(although that would be appreciated).

Please contact <robbert at cs.ru.nl> to submit an application, or if you 
want to learn more about the project.

In your application email please include: (1) a description of why and 
in which parts of the project you are interested, (2) a description of 
your prior experience, (3) your CV, (4) contacts for recommendation 
letters, and (5) if possible, a copy of your master's thesis (do not 
hesitate to apply if your master's thesis is not finished yet).

The starting dates are flexible (they should be before 1 April 2026). I 
will therefore review applications on a rolling basis without a fixed 
application deadline. But if you want to make sure the positions are 
still open, please apply before **6 April**.

Best regards,

Robbert Krebbers
Associate Professor in Computer Science
Radboud University Nijmegen, The Netherlands
robbert at cs.ru.nl
https://urldefense.com/v3/__https://robbertkrebbers.nl__;!!IBzWLUs!UMbUe3lR9dm4zUGzwBZeh5X6fV-8F02x04k-0SdscZdk6X23Kaj6O_qRk4hp48ewtbCnuwGzlC-gbRV9A5ZxLXtNIIkfV7blbHc$