<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);">
Department of Computing, Imperial College London
<div><br>
</div>
<div>Research Assistant/Associate Position (Full Time)</div>
<div>36,394 GBP to 49,210 GBP per annum</div>
<div><br>
</div>
<div>Reference: </div>
<div>Fixed-term: 3 years </div>
<div>Starting date: as soon as possible </div>
<div>Closing Date: 16th September 2021 </div>
<div><br>
</div>
<div>The Research Assistant will work under the EPSRC Established Career</div>
<div>Fellowship Project, POST: Protocols, Observabilities and Session Types</div>
<div>and/or other EPSRC projects (see below).</div>
<div><br>
</div>
<div>Please contact with Nobuko Yoshida (n.yoshida@imperial.ac.uk),</div>
<div>Imperial College London if you would like to apply to the position to have informal discussions.</div>
<div><br>
</div>
<div>Details: </div>
<div><br>
</div>
<div>https://www.imperial.ac.uk/jobs/description/ENG01832/research-assistant-associate</div>
<div><br>
</div>
<div>------------------------------------------------------------</div>
<div><br>
</div>
<div>The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to case studies; or developing the links between session types and other areas of theoretical computer
science. The research programme includes collaboration with several companies and organisations.</div>
<div><br>
</div>
<div>Candidates for the post-doc position will need to have expertise in either:</div>
<div><br>
</div>
<div>1. programming language design and implementation; or</div>
<div>2. formal semantics, type theory and concurrency theory</div>
<div><br>
</div>
<div>Different positions will be suitable for different points on the theory/practice spectrum. We are especially interested in candidates with a combination of theoretical and practical skills.</div>
<div><br>
</div>
<div>For more details, see http://mrg.doc.ic.ac.uk.</div>
<div><br>
</div>
<div>The focus of Imperial College London Group is theories and applications of session types which include:</div>
<div><br>
</div>
<div>-- Go, Rust, TypeScript, Scala, F*, F#, Haskell, OCaml, Java, Erland, MPI-C and Python;</div>
<div><br>
</div>
<div>-- mechanisation of session types meta-theory (Coq, Isabelle, Agda,</div>
<div>etc) (PLDI'21 Zooid, http://mrg.doc.ic.ac.uk/publications/zooid-paper/)</div>
<div><br>
</div>
<div>-- session types theories, automata theories, game semantics, </div>
<div>linear logic; and </div>
<div><br>
</div>
<div>-- other applications such as blockchains and robotics</div>
<div><br>
</div>
<div>The candidate will work on POST and/or other related projects </div>
<div><br>
</div>
<div>-- Stardust (https://epsrc-stardust.github.io/) </div>
<div>-- AppControl (https://dsbd-appcontrol.github.io/people.html) </div>
<div><br>
</div>
<div>The candidate is welcome to discuss the details about the above project(s)</div>
<div>with the contact person: </div>
<div><br>
</div>
<div>Professor Nobuko Yoshida, Imperial College London</div>
<span>(n.yoshida@imperial.ac.uk)</span><br>
</div>
</body>
</html>