[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected])
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$
