[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues,
We have an open postdoc position at the University of Kent on session types for
reliable actor-based systems.
Here is the call:
https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?id=3868&forced=1__;!!IBzWLUs!Hlp8L9hroE2imDFlWYyGYehbQ3ydBa_U47CanoFllZo_svDJt5eqk4tWnvg5RBIePdRHcy-Xuq2StA$
Feel free to forward this post to anyone that may be interested and to contact
me for any questions.
The deadline for application is March 1st .
Best regards,
Laura Bocchi
