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