[TYPES/announce] PhD and Postdoc positions at the University of Copenhagen

[Dmitriy Traytel]

Dear all,

I am looking to fill two PhD positions and a Postdoc position at the University of Copenhagen from early 2021 on the following topics:

[PhD1] Explanations of runtime monitoring verdicts https://employment.ku.dk/phd/?show=152745
[PhD2] Formal verification of data stream processing https://employment.ku.dk/phd/?show=152743
[Postdoc] Formal verification of runtime monitoring https://employment.ku.dk/faculty/?show=152776

The positions are funded by a grant from the Novo Nordisk Foundation. Especially for the latter two topics, experience with interactive proof assistants is a big plus. The above links provide more details and instructions on how to apply. Feel free to contact me, if you are interested or know suitable candidates.

Best wishes,
Dmitriy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201009/b1ee9435/attachment-0001.htm>