<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi everyone,<div class=""><br class=""></div><div class="">I am advertising for a Research Associate position for 3 years. Details below.</div><div class="">Please get in touch with me if you are interested or have any questions. Also share the ad with anyone you think might be interested. Thanks!</div><div class=""><br class=""></div><div class=""><div class=""><br class=""></div><div class=""><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class=""><strong class="">Relocation assistance will be provided where appropriate.</strong></p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class="">The School of Computing Science<strong class=""> </strong>is looking to recruit a Research Associate to make a leading contribution to the EPSRC project “Uni-pi: safety, adaptability and resilience in distributed ecosystems, by design” working with Dr Ornela Dardha and industrial partners SingularityNET (Seattle) and Actyx AG (Munich).</p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class="">The aim of the project is to develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types for the verification of safety, adaptability and resilience properties, while maintaining a realistic view of distributed software systems in the presence of failures, message inconsistencies or service degradation.</p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class="">The successful candidate will contribute to the formulation and submission of research publications and research proposals as well as help manage and direct this complex and challenging project as opportunities allow. The candidate will also contribute to engagement activities, such as Knowledge Exchange Workshops or tech summits.</p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class="">Informal enquiries about the role are welcomed, and should be addressed to Dr Ornela Dardha (<a href="mailto:Ornela.Dardha@glasgow.ac.uk" style="color: rgb(29, 54, 97);" class="">Ornela.Dardha@glasgow.ac.uk</a>) </p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class="">For more information on the University of Glasgow’s, School of Computing Science, please visit <a href="https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLt5cuCEdg$" style="color: rgb(29, 54, 97);" class="">https://www.gla.ac.uk/schools/computing/</a></p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class="">For more information and to apply online: <a href="https://urldefense.com/v3/__https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=119368__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLuD67dj0g$" style="color: rgb(29, 54, 97);" class="">https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=119368</a></p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class=""><strong class="">Closing date: 11 July 2023</strong></p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class=""><br class=""></p><p style="margin: 0px 0px 1em; color: rgb(0, 0, 0); font-variant-ligatures: normal; orphans: 2; widows: 2; text-decoration-thickness: initial;" class="">All the best,</p><div class="">Ornela</div></div></div><div class="">
<meta charset="UTF-8" class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="" style="caret-color: rgb(255, 255, 255); color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-size: 15px;"><font face="Calibri, sans-serif" class=""><span class="" style="caret-color: rgb(0, 0, 0);"><font class=""><font color="#8d8d8d" class=""><div class="" style="caret-color: rgb(255, 255, 255); color: rgb(0, 0, 0); font-family: Helvetica;"><font face="Calibri, sans-serif" class=""><span class="" style="caret-color: rgb(0, 0, 0);"><font class=""><font color="#8d8d8d" class=""><br class="Apple-interchange-newline">—</font></font></span></font><font color="#8d8d8d" class=""><br class=""></font></div><div class="" style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 14px;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div class="" style="font-family: Calibri, sans-serif; margin: 0cm 0cm 0.0001pt;"><div class="" style="margin: 0cm 0cm 0.0001pt; font-size: 15px;"><div style="caret-color: rgb(255, 255, 255); color: rgb(255, 255, 255); font-family: Helvetica; font-size: 14px;" class=""><div class="" style="color: rgb(0, 0, 0); caret-color: rgb(0, 0, 0);"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; line-break: after-white-space;"><div class="" style="margin: 0cm 0cm 0.0001pt;"><div class="" style="margin: 0cm 0cm 0.0001pt;"><span class=""><span class=""><font color="#8d8d8d" class=""><b class="">Dr Ornela Dardha</b></font></span></span></div><div class="" style="margin: 0cm 0cm 0.0001pt;"><span class=""><font color="#8d8d8d" class="">Senior Lecturer (Associate Professor)</font></span></div><div class="" style="margin: 0cm 0cm 0.0001pt;"><font color="#8d8d8d" class=""><span class="">School of Computing Science </span><span class="">| </span><span class="" style="caret-color: rgb(255, 255, 255);">University of Glasgow, UK</span></font></div><div class="" style="margin: 0cm 0cm 0.0001pt;"><font color="#8d8d8d" class=""><span class=""><a href="https://urldefense.com/v3/__http://www.dcs.gla.ac.uk/*ornela/__;fg!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLtbN2FvIg$" style="caret-color: rgb(255, 255, 255);" class="">Website</a></span> <span class="">|</span></font> <font color="#8d8d8d" class="" style="caret-color: rgb(255, 255, 255);"><span class=""><a href="https://urldefense.com/v3/__https://colab-glasgow.github.io/__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLuYfdMhSg$" class="">CoLab</a> </span></font><span style="caret-color: rgb(255, 255, 255); color: rgb(144, 144, 144);" class="">|</span><span class="" style="color: rgb(140, 140, 140);"> </span><span class="" style="caret-color: rgb(255, 255, 255); color: rgb(140, 140, 140);"><a href="https://urldefense.com/v3/__https://twitter.com/OrnelaDardha__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLskjVIHBw$" class=""><span class="">T</span><span class="" style="caret-color: rgb(0, 0, 0);">witter</span></a></span></div><div class="" style="margin: 0cm 0cm 0.0001pt;"><br class=""></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></font></font></span></font></div></div></div></div></div></div></div></div></div><br class="Apple-interchange-newline">
</div>
<br class=""></body></html>