[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://jobportal.ku.dk/phd/?show=162724__;!!IBzWLUs!UPd-vSYHQCNyTULuRCWEW2p8sIAgVS0nfW_XTnBrumdctHkk0KSRQhp1MkAHJrmaqHU-xUt4QSEP0xDreaGnuRiCdCw7CTLD$
Postdoc position:
https://urldefense.com/v3/__https://employment.ku.dk/faculty/?show=162682__;!!IBzWLUs!UPd-vSYHQCNyTULuRCWEW2p8sIAgVS0nfW_XTnBrumdctHkk0KSRQhp1MkAHJrmaqHU-xUt4QSEP0xDreaGnuRiCdPbObTdG$
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
