Email Gateway (Oct 09 2024 at 08:30): Email Gateway (Oct 09 2024 at 08:30):From: Dmitriy Traytel <traytel@di.ku.dk>
Dear all,
I am looking to fill a PhD and a postdoc position at the University of Copenhagen from early 2025 both on the topic of formally verified, distributed data stream processing:
PhD position: https://jobportal.ku.dk/phd/?show=162724
Postdoc position: https://employment.ku.dk/faculty/?show=162682
The application deadline is 31 October 2024, 23:59 CET.
The positions are funded by a grant from the Independent Research Fund Denmark (DFF).
Familiarity with proof assistants or verification of distributed systems is a big plus.
Feel free to contact me, if you have any questions or know suitable candidates.
Best wishes,
Dmitriy
Last updated: Jan 04 2025 at 20:18 UTC