Email Gateway (Sep 15 2021 at 19:25): Email Gateway (Sep 15 2021 at 19:25):From: Dmitriy Traytel <traytel@di.ku.dk>
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 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
Email Gateway (Feb 22 2024 at 12:00):From: Dmitriy Traytel <traytel@di.ku.dk>
Dear all,
I am looking for a PhD student to join my ongoing project of verifying a programming framework for distributed stream processing in Isabelle. Please reach out to me if you are interested or know suitable candidates. With a few months delay, I will be also advertising a 3 year postdoc position within the same project. Feel free to reach out if that is also of interest.
The PhD position is described here with an application deadline on March 15:
https://jobportal.ku.dk/phd/?show=161126
Best wishes,
Dmitriy
Last updated: Jan 04 2025 at 20:18 UTC