[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.yosh...@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.yosh...@cs.ox.ac.uk). For further information about the studentship or the application process, please e-mail Computer Science Graduate Admissions (graduate.admissi...@cs.ox.ac.uk).