[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
