[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(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 <[email protected]> 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
[email protected]
https://urldefense.com/v3/__https://robbertkrebbers.nl__;!!IBzWLUs!UMbUe3lR9dm4zUGzwBZeh5X6fV-8F02x04k-0SdscZdk6X23Kaj6O_qRk4hp48ewtbCnuwGzlC-gbRV9A5ZxLXtNIIkfV7blbHc$
