[TYPES/announce] Postdoc on session types and reliability
Laura Bocchi
L.Bocchi at kent.ac.uk
Tue Feb 8 08:20:22 EST 2022
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220208/ec9506b2/attachment-0001.htm>
More information about the Types-announce
mailing list