[TYPES/announce] PhD and postdoc position at the University of Copenhagen

[Dmitriy Traytel]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241009/6d05ba11/attachment.htm>