<div dir="ltr">Hey Haskellers, <div><br></div><div><div><span style="color:rgb(0,0,0);font-family:Verdana,Arial,sans-serif;font-size:12px">Applications are invited for a PhD position at the IMDEA Software Institute, Madrid, Spain. </span><span style="color:rgb(0,0,0);font-family:Verdana,Arial,sans-serif;font-size:12px">The selected candidate will work under my supervision</span><span style="color:rgb(0,0,0);font-family:Verdana,Arial,sans-serif;font-size:12px"> on the theory and practise of refinement types.</span><br></div><div><span style="color:rgb(0,0,0);font-family:Verdana,Arial,sans-serif;font-size:12px"><br></span></div><div><font color="#000000" face="Verdana, Arial, sans-serif"><span style="font-size:12px">Application deadline is March 15. </span></font></div><div><font color="#000000" face="Verdana, Arial, sans-serif"><span style="font-size:12px">More information are available here: </span></font><a href="https://software.imdea.org/open_positions/2021-02-phd-refinements.html">https://software.imdea.org/open_positions/2021-02-phd-refinements.html</a></div><div><span style="color:rgb(0,0,0);font-family:Verdana,Arial,sans-serif;font-size:12px"><br></span></div><div>Best, </div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Niki Vazou</div></div></div>