Wellcome Trust Featured PhD Programmes
University College London Featured PhD Programmes
Norwich Research Park Featured PhD Programmes
University of Kent Featured PhD Programmes
Cardiff University Featured PhD Programmes

VeTSS PhD Scholarship Programme on Session Types and Programming Languages

This project is no longer listed in the FindAPhD
database and may not be available.

Click here to search the FindAPhD database
for PhD studentship opportunities
  • Full or part time
    Prof N Yoshida
  • Application Deadline
    No more applications being accepted
  • Funded PhD Project (Students Worldwide)
    Funded PhD Project (Students Worldwide)

Project Description

The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, the Department was ranked third (1st in the Research Intensity table published by The Times Higher Education), and was rated as "Excellent" in the previous national assessment of teaching quality.
We invite applications for a PhD studentship funded by VeTSS in programming languages and software engineering research related to concurrency theories and session types under the supervision of Professor Nobuko Yoshida.
The goal of the PhD project will be to investigate new approaches to verify channel-based or communication-based concurrent languages such as Go, Rust, or any actor-based language. A particular focus will be the use of session types to statically detect concurrency bugs such as deadlocks and races.
You will be part of the Mobility and Session Types (MRG) research group. Informal inquiries about this position are also encouraged and can be directed to Nobuko Yoshida. For further information see the MRG website
To apply for this position, you must have a strong background in at least one of the following areas:
• Programming Languages • Type Systems • Theory of Computer Science • Systems

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science. Applicants must be fluent in spoken and written English.
The PhD studentship consists of an annual bursary up to a maximum of three and half years. In addition, you will receive a fixed computer and conference allowance. The ideal starting date is 1st October 2018 or 1st January 2019.

Applications must include the following:
• A 2-page research statement that describes (i) what you see as an interesting research issue; (ii) an outline of the objectives and methodology for the research; and (iii) what relevant experience you have
• A detailed CV
• Transcripts of all degree results
• The contact details for two referees

Please email your application to and with the subject title “VeTSS PhD Scholarship on Session Types”.

Funding Notes

Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science. Applicants must be fluent in spoken and written English.
The PhD studentship consists of an annual bursary up to a maximum of three and half years. In addition, you will receive a fixed computer and conference allowance. The ideal starting date is 1st October 2018 or 1st January 2019.

Please email your application to and with the subject title “VeTSS PhD Scholarship on Session Types”.



FindAPhD. Copyright 2005-2018
All rights reserved.

Let us know you agree to cookies

We use cookies to give you the best online experience. By continuing, we'll assume that you're happy to receive all cookies on this website. To read our privacy policy click here

Ok