[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