<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:"Yu Gothic";
panose-1:2 11 4 0 0 0 0 0 0 0;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
@font-face
{font-family:"\@Yu Gothic";
panose-1:2 11 4 0 0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt">Two Senior Research Fellows on Concurrent and Distributed Programming, and Quantum Computing
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Department of Computer Science, University of Oxford
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Reference: 173097<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Starting date: as soon as possible
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Grade 8: £45,585-£54,395 per annum
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Closing Date: 05-Jul-2024 12:00<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Link: <a href="https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2331-full.html__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTEiPL4vN4$">
https://www.cs.ox.ac.uk/news/2331-full.html</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Please contact with Nobuko Yoshida (<a href="mailto:nobuko.yoshida@cs.ox.ac.uk">nobuko.yoshida@cs.ox.ac.uk</a>), University of Oxford, if you would like to apply to the position to have informal discussions.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">------------------------------------------------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">We are looking for two senior researchers to work on the projects of UKRI/EPSRC with the research programme includes collaboration with several companies and organisations.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Candidates for the senior research associate positions will need to have expertise in either:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">1. theoretical computer science such as verification, formal semantics, type theory, concurrency theory or automata theory;
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">2. mechanisation (Coq, Isabelle, Agda, etc);<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">3. programming language design and implementation; or
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">4. Quantum computing (verification, concurrent processes, software engineering)
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The projects cover a wide range of subjects hence no knowledge of session types is required.)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The focus of our group is theories and their applications which include:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">-- programming languages (Rust, Go, Scala, Haskell, OCaml, ...)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">-- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * ITP'24, <a href="https://urldefense.com/v3/__https://github.com/ekiciburak/sessionTreeST/tree/itp2024__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTEm_kC468$">
https://github.com/ekiciburak/sessionTreeST/tree/itp2024</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * PLDI'21 Zooid, <a href="https://urldefense.com/v3/__http://mrg.doc.ic.ac.uk/publications/zooid-paper/__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTENJKGR3o$">
http://mrg.doc.ic.ac.uk/publications/zooid-paper/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">-- verification, automata theories, linear logic and concurrency theory;
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">-- quantum computing (theory, verification, and software); and
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">-- other applications of session types such as security, blockchains and Cyber-Physical Systems
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">See <a href="https://urldefense.com/v3/__https://mrg.cs.ox.ac.uk/__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTEz9m60yk$">
https://mrg.cs.ox.ac.uk/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The candidate will work on either
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">-- POST (Yoshida's Established Career Fellowship Project)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">-- TaRDIS (<a href="https://urldefense.com/v3/__https://www.project-tardis.eu/__;!!IBzWLUs!Ts6SZrDSVn9WjdcEjvKcTMQe81etvDddT59Xqm1uKJUPeYsEwqyTs7WX3dJW6TvBmuGEXRQGmmipmgl0zbQLSLwu2KjD9Y4wVLTEEDjdel8$">https://www.project-tardis.eu/</a>); or<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">-- VSL-Q (Verified Simulation for Large Quantum Systems) <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The candidate is welcome to discuss the details about the above project(s) with the contact person:
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Professor Nobuko Yoshida, University of Oxford
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">(<a href="mailto:nobuko.yoshida@cs.ox.ac.uk">nobuko.yoshida@cs.ox.ac.uk</a>)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Christopher Strachey Chair of Computing
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">University of Oxford <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
</div>
</body>
</html>