[TYPES/announce] Postdoc on session types and reliability
L.Bocchi at kent.ac.uk
Tue Feb 8 08:20:22 EST 2022
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 .
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce