[TYPES/announce] PhD studentship at University of Oxford

Nobuko Yoshida nobuko.yoshida at cs.ox.ac.uk
Mon Nov 7 11:45:10 EST 2022

Fully Funded Doctoral Studentship in Foundations of Concurrent and
Distributed Computing and Programming Languages

Student fee status: Home

Supervisor: Prof. Nobuko Yoshida, Christopher Strachey Chair of
Computing, University of Oxford (nobuko.yoshida at cs.ox.ac.uk)

Start Date: October 2023

Closing Date: 19th December noon
Reference: 22-CS-NY
Application: https://urldefense.com/v3/__https://www.ox.ac.uk/admissions/graduate/courses/dphil-computer-science__;!!IBzWLUs!UWJcaXqLx3YTMGevuS2gCSngDBChIHGB38G3dVpIX-btS8ZWBk9Y3IHnchUNqj18h2pPGnmefOMrlhDUqxNuNHhZUSQeTGpKCqlQB5NaxDU$  

The Department of Computer Science at the University of Oxford is
offering one fully funded DPhil studentship for home students in the
Programming Languages theme under the supervision of Prof. Nobuko
Yoshida, to commence next academic year (October 2023).

The successful applicant will join the Programming Languages team, an
internationally-leading research group who study foundational aspects
of concurrent computing, programming language semantics, design and
implementation. The successful candidate will have the opportunity to
collaborate with other members of the team and of the department.

Prof. Yoshida's interests focus on foundational aspects of concurrent
and distributed computing, design and implementation of actor
programming, verifications, type theories of programming language,
specifically, session types. Please see the links for more information
about Prof Yoshida's work (https://urldefense.com/v3/__http://mrg.doc.ic.ac.uk/__;!!IBzWLUs!UWJcaXqLx3YTMGevuS2gCSngDBChIHGB38G3dVpIX-btS8ZWBk9Y3IHnchUNqj18h2pPGnmefOMrlhDUqxNuNHhZUSQeTGpKCqlQs3jTC8U$  ).

The studentship will provide an annual stipend (at the UKRI rate) at
least £17668 per annum for 3.5 years (42 months). The studentship will
also cover the costs of course tuition fees at home level. Research
students in the Department of Computer Science are also provided with
a fund for travel to conferences and workshops (subject to approval).

Applicants must satisfy the usual requirements for studying for a
doctorate at Oxford, and apply for admission via the DPhil in Computer
Science (https://urldefense.com/v3/__https://www.ox.ac.uk/admissions/graduate/courses/dphil-computer-science__;!!IBzWLUs!UWJcaXqLx3YTMGevuS2gCSngDBChIHGB38G3dVpIX-btS8ZWBk9Y3IHnchUNqj18h2pPGnmefOMrlhDUqxNuNHhZUSQeTGpKCqlQB5NaxDU$  ), quoting studentship reference 22-CS-NY. Candidates are
expected to have a strong computational and/or mathematical
background, with undergraduate studies in Computer Science,
Engineering, Physics, Mathematics or related disciplines. Candidates
must also have good writing, communication and presentation skills
(see the University's web pages on the DPhil in Computer Science
(https://urldefense.com/v3/__https://www.ox.ac.uk/admissions/graduate/courses/dphil-computer-science__;!!IBzWLUs!UWJcaXqLx3YTMGevuS2gCSngDBChIHGB38G3dVpIX-btS8ZWBk9Y3IHnchUNqj18h2pPGnmefOMrlhDUqxNuNHhZUSQeTGpKCqlQB5NaxDU$  )
for details).

For further information or for informal discussions about suitability,
please contact Prof Yoshida (nobuko.yoshida at cs.ox.ac.uk).

For further information about the studentship or the application
process, please e-mail Computer Science Graduate Admissions
(graduate.admissions at cs.ox.ac.uk).

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

More information about the Types-announce mailing list