[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:


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