<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); background-color: rgb(255, 255, 255);" class="elementToProof ContentPasted0">
Department of Computer Science, University of Oxford
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Reference: 164137</div>
<div class="ContentPasted0">Starting date: as soon as possible </div>
<div class="ContentPasted0">Grade 8: Salary £43,414 - £46,047 p.a. </div>
<div class="ContentPasted0">Closing Date: 28-Apr-2023 12:00</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Please contact with Nobuko Yoshida (nobuko.yoshida@cs.ox.ac.uk),</div>
<div class="ContentPasted0">University of Oxford, if you would like to apply to the position to</div>
<div class="ContentPasted0">have informal discussions. </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Details: </div>
<div class="ContentPasted0">https://my.corehr.com/pls/uoxrecruit/erq_jobspec_version_4.display_form?p_company=10&p_internal_external=E&p_display_in_irish=N&p_process_type=&p_applicant_no=&p_form_profile_detail=&p_display_apply_ind=Y&p_refresh_search=Y&p_recruitment_id=164137</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">------------------------------------------------------------</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">We are looking for two senior researchers to work on the projects of</div>
<div class="ContentPasted0">UKRI/EPSRC with The research programme includes collaboration with several companies and organisations.
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Candidates for the senior research associate positions will need to have expertise in either:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">1. programming language design and implementation; or</div>
<div class="ContentPasted0">2. theoretical computer science such as verification, formal semantics, type theory, concurrency theory or automata theory; or </div>
<div class="ContentPasted0">3. mechanisation (Coq, Isabelle, Agda, etc)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">(The projects cover a wide range of subjects hence no knowledge of</div>
<div class="ContentPasted0">session types is required.) </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The focus of our group is theories and their applications which include:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">-- Go, Rust, TypeScript, Scala, F*, F#, Haskell, OCaml, Java, MPI-C and Python;</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">-- mechanisation of session types meta-theory (Coq, Isabelle, Agda,</div>
<div class="ContentPasted0">etc) (cf. PLDI'21 Zooid, http://mrg.doc.ic.ac.uk/publications/zooid-paper/)</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">-- verification, automata theories, linear logic and concurrency theory; and
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">-- other applications of session types such as blockchains and</div>
<div class="ContentPasted0">robotics </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">See https://mrg.cs.ox.ac.uk/</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The candidate will work on either </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Digital Security by Design (https://www.dsbd.tech/) projects
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">-- AppControl (https://dsbd-appcontrol.github.io/people.html)
</div>
<div class="ContentPasted0">-- Morello-HAT (https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X015955/1) </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">or </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">-- POST (Yoshida's Established Career Fellowship Project)</div>
<div class="ContentPasted0">-- Stardust (https://epsrc-stardust.github.io/) </div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The candidate is welcome to discuss the details about the above project(s)</div>
<div class="ContentPasted0">with the contact person: </div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Professor Nobuko Yoshida, University of Oxford </div>
<div class="ContentPasted0">(nobuko.yoshida@cs.ox.ac.uk)</div>
<div class="ContentPasted0">Christopher Strachey Chair of Computing </div>
<div class="ContentPasted0">University of Oxford </div>
<br>
</div>
</body>
</html>