<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">

Fully Funded Doctoral Studentship in Foundations of Concurrent and

<div class="ContentPasted0">Distributed Computing and Programming Languages</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Student fee status: Home </div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Supervisor: Prof. Nobuko Yoshida, Christopher Strachey Chair of</div>

<div class="ContentPasted0">Computing, University of Oxford (nobuko.yoshida@cs.ox.ac.uk)  

</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Start Date: October 2023  </div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Closing Date: 19th December noon </div>

<div class="ContentPasted0">Reference: 22-CS-NY </div>

<div class="ContentPasted0">Application: https://www.ox.ac.uk/admissions/graduate/courses/dphil-computer-science</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">The Department of Computer Science at the University of Oxford is</div>

<div class="ContentPasted0">offering one fully funded DPhil studentship for home students in the</div>

<div class="ContentPasted0">Programming Languages theme under the supervision of Prof. Nobuko</div>

<div class="ContentPasted0">Yoshida, to commence next academic year (October 2023).</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">The successful applicant will join the Programming Languages team, an</div>

<div class="ContentPasted0">internationally-leading research group who study foundational aspects</div>

<div class="ContentPasted0">of concurrent computing, programming language semantics, design and</div>

<div class="ContentPasted0">implementation. The successful candidate will have the opportunity to</div>

<div class="ContentPasted0">collaborate with other members of the team and of the department.</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Prof. Yoshida's interests focus on foundational aspects of concurrent</div>

<div class="ContentPasted0">and distributed computing, design and implementation of actor</div>

<div class="ContentPasted0">programming, verifications, type theories of programming language,</div>

<div class="ContentPasted0">specifically, session types. Please see the links for more information</div>

<div class="ContentPasted0">about Prof Yoshida's work (http://mrg.doc.ic.ac.uk/).

</div>

<div class="ContentPasted0"> </div>

<div class="ContentPasted0">The studentship will provide an annual stipend (at the UKRI rate) at</div>

<div class="ContentPasted0">least Ł17668 per annum for 3.5 years (42 months). The studentship will</div>

<div class="ContentPasted0">also cover the costs of course tuition fees at home level. Research</div>

<div class="ContentPasted0">students in the Department of Computer Science are also provided with</div>

<div class="ContentPasted0">a fund for travel to conferences and workshops (subject to approval).</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">Applicants must satisfy the usual requirements for studying for a</div>

<div class="ContentPasted0">doctorate at Oxford, and apply for admission via the DPhil in Computer</div>

<div class="ContentPasted0">Science (https://www.ox.ac.uk/admissions/graduate/courses/dphil-computer-science), quoting studentship reference 22-CS-NY. Candidates are</div>

<div class="ContentPasted0">expected to have a strong computational and/or mathematical</div>

<div class="ContentPasted0">background, with undergraduate studies in Computer Science,</div>

<div class="ContentPasted0">Engineering, Physics, Mathematics or related disciplines. Candidates</div>

<div class="ContentPasted0">must also have good writing, communication and presentation skills</div>

<div class="ContentPasted0">(see the University's web pages on the DPhil in Computer Science</div>

<div class="ContentPasted0">(https://www.ox.ac.uk/admissions/graduate/courses/dphil-computer-science)</div>

<div class="ContentPasted0">for details).</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">For further information or for informal discussions about suitability,</div>

<div class="ContentPasted0">please contact Prof Yoshida (nobuko.yoshida@cs.ox.ac.uk).

</div>

<div><br class="ContentPasted0">

</div>

<div class="ContentPasted0">For further information about the studentship or the application</div>

<div class="ContentPasted0">process, please e-mail Computer Science Graduate Admissions</div>

<div class="ContentPasted0">(graduate.admissions@cs.ox.ac.uk).</div>

<div><br class="ContentPasted0">

</div>

<br>

</div>

</body>

</html>