[TYPES/announce] Fully-Funded Overseas or Home PhD Studentship in Oxford University

[Nobuko Yoshida]

Fully-Funded Overseas or Home PhD Studentship

Department of Computer Science
University of Oxford

Deadline 30th April 2025 (noon)
Entry 1st October 2025

One overseas or home PhD position available at Programming Languages and Verification Themes at Department of Computer Science, University of Oxford.

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.

Informal inquiries can be addressed to

Nobuko Yoshida (nobuko.yoshida at cs.ox.ac.uk)

Further information is available from the following link:

https://urldefense.com/v3/__https://www.cs.ox.ac.uk/admissions/graduate/Studentship_Probabilistic*20Verification*20of*20Concurrent*20and*20Distributed*20Systems.pdf__;JSUlJSUl!!IBzWLUs!V09iZ5Abrqi6XIUMyHrQEgUTL5WhwLiUF7exCyLLJQTDo6XFr4aTXRMtJ0k8goNRrrPW3pD4EOzVvggCIAAuSLEpg2hj1BLczgYRFBSwSSY$ 
Fully Funded Doctoral Studentship: Probabilistic Verification of Concurrent and Distributed Systems<https://urldefense.com/v3/__https://www.cs.ox.ac.uk/admissions/graduate/Studentship_Probabilistic*20Verification*20of*20Concurrent*20and*20Distributed*20Systems.pdf__;JSUlJSUl!!IBzWLUs!V09iZ5Abrqi6XIUMyHrQEgUTL5WhwLiUF7exCyLLJQTDo6XFr4aTXRMtJ0k8goNRrrPW3pD4EOzVvggCIAAuSLEpg2hj1BLczgYRFBSwSSY$ >
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
https://urldefense.com/v3/__http://www.cs.ox.ac.uk__;!!IBzWLUs!V09iZ5Abrqi6XIUMyHrQEgUTL5WhwLiUF7exCyLLJQTDo6XFr4aTXRMtJ0k8goNRrrPW3pD4EOzVvggCIAAuSLEpg2hj1BLczgYRZXbmYLw$ 


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250309/43c72017/attachment.htm>