[TYPES/announce] PhD position in program verification at Radboud University Nijmegen

[Robbert Krebbers]

Dear all,

I have an opening for PhD position at Radboud University Nijmegen (The 
Netherlands) to work on the semantics and verification of systems 
software (libraries for concurrency, efficient data structures, 
compilers, and/or operating systems) using type systems, separation 
logic, and proof assistants.

More information / apply at: 
https://urldefense.com/v3/__https://www.ru.nl/en/working-at/job-opportunities/phd-candidate-in-program-verification__;!!IBzWLUs!S_lwicp-55xnwaYcxZrpCb8yrycfhq9OsEdV9yRRajLIDdxR_Z2Qhn5dAdKBCxNRzlFwTmON0K7X_F5rH4dnXxllPc0LgrNYph4$ 

The application deadline is 20 June.

The start of the position is flexible, preferably in autumn 2024.

For questions about the position, please contact:

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!S_lwicp-55xnwaYcxZrpCb8yrycfhq9OsEdV9yRRajLIDdxR_Z2Qhn5dAdKBCxNRzlFwTmON0K7X_F5rH4dnXxllPc0LSndRLs4$