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

[Dmitriy Traytel]

Dear all,

I am looking for a PhD student to join my ongoing project of verifying a programming framework for distributed stream processing in Isabelle. Please reach out to me if you are interested or know suitable candidates. With a few months delay, I will be also advertising a 3 year postdoc position within the same project. Feel free to reach out if that is also of interest.

The PhD position is described here with an application deadline on March 15:

https://urldefense.com/v3/__https://jobportal.ku.dk/phd/?show=161126__;!!IBzWLUs!V0QErPWCwdp6Bk-OSkhQXBfZIa0VDUkTCedz7mJ2KOUoczIh3HsjiQU1F6Gj8kKBd9yXfpeHvnov96AQijsC0PYBxwMK0PzI$ 

Best wishes,
Dmitriy


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