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