<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="">
<div class=""><br class="">
</div>
Come and join us on the STARDUST research project at @UniKentComp, led by Dr Laura Bocchi
<div class=""><br class="">
</div>
<div class="">The key idea is to combine the structuring mechanism of session types with the scalability and fault-tolerance of actor-based software. </div>
<div class=""><br class="">
</div>
<div class="">
<div class="">Apply here: <a href="https://jobs.kent.ac.uk/VM/Applications.aspx?jobId=3869" class="">https://jobs.kent.ac.uk/VM/Applications.aspx?jobId=3869</a></div>
</div>
<div class=""><br class="">
</div>
<div class="">The School of Computing wishes to appoint a qualified and highly motivated researcher to work as a Research Associate funded by an EPSRC UK grant led by Dr Laura Bocchi titled 'Session Types for Reliable Distributed Systems' (STARDUST).<br class="">
<br class="">
The broad goal of this research is to build programming language theory and practice for reliable concurrent and distributed systems. The key idea is to combine the communication-structuring mechanism of session types with the scalability and fault-tolerance
of actor-based software architectures. <br class="">
<br class="">
The successful candidate will be supported by two supervisors at Kent: one expert in session types (Dr Laura Bocchi) and one expert in actor-based languages (Prof Simon Thompson). The role will involve collaboration with the STARDUST project partners: the research
groups of Prof Simon Gay and Prof Phil Trinder (University of Glasgow) and Prof Nobuko Yoshida (Imperial College London), and industry partners Actyx AG, Erlang Solutions Ltd, Lightbend, Quviq AB, and Tata Consultancy Services.<br class="">
<br class="">
The post holder will contribute to:<br class="">
<br class="">
<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>• the formalization of communication protocols, their properties, and recovery strategies<br class="">
</div>
<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>• the implementation of tools for static/dynamic verification of reliable actor-based programs<br class="">
</div>
<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>• case studies and evaluation<br class="">
</div>
To be successful in this role you will:<br class="">
<br class="">
<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Hold a PhD (or nearing completion of study for one) or equivalent, in computer science, with research interests in programming languages<br class="">
</div>
<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Have a good grasp of type systems and typed programming language definitions<br class="">
</div>
<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Have research experience in either programming language theory or experience<br class="">
</div>
<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>• Have experience of presenting to academic audiences<br class="">
</div>
You are encouraged to contact the principal investigator by email (<a href="mailto:L.Bocchi@kent.ac.uk" class="">L.Bocchi@kent.ac.uk</a>) if you have any further questions about the post, or you would like a copy of the full research application for the project.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div 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>Simon Thompson | Professor of Logic and Computation <br class="">
School of Computing | University of Kent | Canterbury, CT2 7NF, UK<br class="">
<a href="mailto:s.j.thompson@kent.ac.uk" class="">s.j.thompson@kent.ac.uk</a> | M +44 7986 085754 | W <a href="http://www.cs.kent.ac.uk/~sjt" class="">www.cs.kent.ac.uk/~sjt</a></div>
</div>
</div>
</div>
</div>
<br class="">
</body>
</html>