<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">
<span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Fully-Funded Overseas or Home PhD Studentship </span>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Department of Computer Science </div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
University of Oxford </div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Deadline 30th April 2025 (noon) </div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Entry 1st October 2025 </div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
One overseas or home PhD position available at Programming Languages and Verification Themes at Department of Computer Science, University of Oxford. </div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The position is ideal for applicants interested in probabilistic verification, programming languages, types, logics, concurrency theory, and/or model-checking. A student will be jointly supervised by David Walker and Nobuko Yoshida. </div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Informal inquiries can be addressed to </div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Nobuko Yoshida (nobuko.yoshida@cs.ox.ac.uk)</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Further information is available from the following link:</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://urldefense.com/v3/__https://www.cs.ox.ac.uk/admissions/graduate/Studentship_Probabilistic*20Verification*20of*20Concurrent*20and*20Distributed*20Systems.pdf__;JSUlJSUl!!IBzWLUs!V09iZ5Abrqi6XIUMyHrQEgUTL5WhwLiUF7exCyLLJQTDo6XFr4aTXRMtJ0k8goNRrrPW3pD4EOzVvggCIAAuSLEpg2hj1BLczgYRFBSwSSY$" id="LPlnk" class="OWAAutoLink" title="https://www.cs.ox.ac.uk/admissions/graduate/Studentship_Probabilistic%20Verification%20of%20Concurrent%20and%20Distributed%20Systems.pdf">https://www.cs.ox.ac.uk/admissions/graduate/Studentship_Probabilistic%20Verification%20of%20Concurrent%20and%20Distributed%20Systems.pdf</a></div>
<div class="_Entity _EType_OWALinkPreview _EId_OWALinkPreview _EReadonly_1">
<div id="LPBorder_GTaHR0cHM6Ly93d3cuY3Mub3guYWMudWsvYWRtaXNzaW9ucy9ncmFkdWF0ZS9TdHVkZW50c2hpcF9Qcm9iYWJpbGlzdGljJTIwVmVyaWZpY2F0aW9uJTIwb2YlMjBDb25jdXJyZW50JTIwYW5kJTIwRGlzdHJpYnV0ZWQlMjBTeXN0ZW1zLnBkZg.." class="LPBorder837427" style="width:100%;margin-top:16px;margin-bottom:16px;max-width:800px;min-width:424px">
<table id="LPContainer837427" style="padding:12px 36px 12px 12px;width:100%;border-width:1px;border-style:solid;border-color:rgb(200, 200, 200);border-radius:2px">
<tbody>
<tr valign="top" style="border-spacing:0px">
<td style="width:100%">
<div id="LPTitle837427" style="font-size:21px;font-weight:300;margin-right:8px;font-family:wf_segoe-ui_light, "Segoe UI Light", "Segoe WP Light", "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif;margin-bottom:12px">
<a target="_blank" id="LPUrlAnchor837427" href="https://urldefense.com/v3/__https://www.cs.ox.ac.uk/admissions/graduate/Studentship_Probabilistic*20Verification*20of*20Concurrent*20and*20Distributed*20Systems.pdf__;JSUlJSUl!!IBzWLUs!V09iZ5Abrqi6XIUMyHrQEgUTL5WhwLiUF7exCyLLJQTDo6XFr4aTXRMtJ0k8goNRrrPW3pD4EOzVvggCIAAuSLEpg2hj1BLczgYRFBSwSSY$" style="text-decoration:none">Fully Funded Doctoral Studentship: Probabilistic
Verification of Concurrent and Distributed Systems</a></div>
<div id="LPDescription837427" style="font-size:14px;max-height:100px;color:rgb(102, 102, 102);font-family:wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif;margin-bottom:12px;margin-right:8px;overflow:hidden">
Fully Funded Doctoral Studentship: Probabilistic Verification of Concurrent and Distributed Systems Student fee status: Home or Overseas Supervisors: Professor Nobuko Yoshida and Professor David Parker</div>
<div id="LPMetadata837427" style="font-size:14px;color:rgb(166, 166, 166);font-family:wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif">
www.cs.ox.ac.uk</div>
</td>
</tr>
</tbody>
</table>
</div>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>