[TYPES/announce] PhD position at the University of Copenhagen
Dmitriy Traytel
traytel at di.ku.dk
Wed Sep 15 15:24:41 EDT 2021
Dear all,
I have an open PhD position at the University of Copenhagen from January 2022
on the topic of formally verifying a data stream processing framework. Please
see the official ad for more details and instructions on how to apply:
https://urldefense.com/v3/__https://jobportal.ku.dk/phd/?show=154783__;!!IBzWLUs!FjI8ONvi3dLmFmleGN95vDMXnYoUmhUxh6T6UW3p3U28iUPlypy6WKsdUNTau5IOdHPT46tXzZDdjg$
The application deadline is 10 October 2021, 23:59 GMT +2.
The position is funded by a grant from the Novo Nordisk Foundation.
Familiarity with proof assistants is a big plus.
Feel free to contact me, if you have any questions or know suitable candidates.
Best wishes,
Dmitriy
More information about the Types-announce
mailing list