<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b style="color:rgb(32, 31, 30);font-weight:normal;background-color:white">
<p dir="ltr" style="color:black;background-color:white;margin-top:0px;margin-bottom:0px;line-height:1.38">
<span style="margin:0px;font-weight:700;font-size:11.5pt;font-family:Roboto, sans-serif;color:rgb(50, 49, 48)"><span style="margin:0px;font-weight:400;font-size:12pt;line-height:normal;font-family:Calibri, Helvetica, sans-serif;color:rgb(32, 31, 30);background-color:white">Dear
Colleagues, </span><br>
</span></p>
<p dir="ltr" style="color:black;background-color:white;margin-top:0px;margin-bottom:0px;line-height:1.38">
<span style="margin:0px;font-weight:700;font-size:11.5pt;font-family:Roboto, sans-serif;color:rgb(50, 49, 48)"><br>
<span style="margin:0px;font-weight:400;font-size:12pt;line-height:normal;font-family:Calibri, Helvetica, sans-serif;color:rgb(32, 31, 30);background-color:white">We have an open postdoc position at the University of Kent </span></span><span style="font-weight: 400; font-size: 12pt; color: rgb(32, 31, 30); font-family: Calibri, Helvetica, sans-serif;">on </span><span style="font-weight: 400; font-size: 12pt; color: rgb(32, 31, 30); font-family: Calibri, Helvetica, sans-serif;">session
types for reliable actor-based systems. </span></p>
<p dir="ltr" style="color:black;background-color:white;margin-top:0px;margin-bottom:0px;line-height:1.38">
<span style="color: rgb(32, 31, 30); font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 400;">Here is the call: </span><br>
</p>
<p style="margin-top:0px;margin-bottom:0px"></p>
<p dir="ltr" style="color:black;background-color:white;margin-top:0px;margin-bottom:0px;line-height:1.38">
<span style="margin:0px;font-weight:400;font-size:14.67px;color:rgb(32, 31, 30)"><a href="https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?id=3868&forced=1__;!!IBzWLUs!Hlp8L9hroE2imDFlWYyGYehbQ3ydBa_U47CanoFllZo_svDJt5eqk4tWnvg5RBIePdRHcy-Xuq2StA$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="0" style="margin:0px"><span style="margin:0px;font-size:12pt;line-height:normal;font-family:Calibri, Helvetica, sans-serif">https://jobs.kent.ac.uk/Vacancy.aspx?id=3868&forced=1</span></a><br>
</span></p>
<p dir="ltr" style="color:black;background-color:white;margin-top:0px;margin-bottom:0px;line-height:1.38">
<br>
</p>
<p dir="ltr" style="color:black;background-color:white;margin-top:0px;margin-bottom:0px;line-height:1.38">
Feel free to forward this post to anyone that may be interested and to <span style="font-size: 12pt;">contact me for any questions. </span><br>
</p>
<div dir="ltr" style="color:black;background-color:white;margin-top:0px;margin-bottom:0px;line-height:1.38">
<div style="margin:0px;background-color:rgb(255, 255, 255)"><span style="margin:0px;font-size:12pt">The deadline for application is<span> <span style="background-color:rgb(255, 255, 255);display:inline !important">March<span> <span style="background-color:rgb(255, 255, 255);display:inline !important">1</span><span style="margin:0px;background-color:rgb(255, 255, 255)"><sup>st </sup></span></span></span></span>.</span></div>
<div style="margin:0px;background-color:rgb(255, 255, 255)"><br>
</div>
<div style="margin:0px;background-color:rgb(255, 255, 255)">Best regards,</div>
<div style="margin:0px;background-color:rgb(255, 255, 255)"><br>
</div>
<span style="margin:0px;background-color:rgb(255, 255, 255)">Laura Bocchi</span></div>
</b><br>
</div>
</body>
</html>