Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD and Postdoc positions at the University of...

view this post on Zulip Email Gateway (Oct 09 2020 at 20:13):

From: Dmitriy Traytel <>
Dear all,

some of you may have noticed the recent change of my email address. At my new affiliation, the University of Copenhagen, I am looking to fill two PhD positions and a Postdoc position from early 2021 on the following topics:

[PhD1] Explanations of runtime monitoring verdicts
[PhD2] Formal verification of data stream processing
[Postdoc] Formal verification of runtime monitoring

The positions are funded by a grant from the Novo Nordisk Foundation. Especially for the latter two topics, experience with Isabelle 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,

Last updated: Jan 25 2022 at 02:35 UTC