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://jobportal.ku.dk/phd/?show=154783

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