• University of Birmingham Featured PhD Programmes
  • Northumbria University Featured PhD Programmes
  • Queen’s University Belfast Featured PhD Programmes
  • University of Manchester Featured PhD Programmes
  • FindA University Ltd Featured PhD Programmes
  • University of Macau Featured PhD Programmes
  • University of Stirling Featured PhD Programmes
  • University of Warwick Featured PhD Programmes
University of Dundee Featured PhD Programmes
Aberdeen University Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
Coventry University Featured PhD Programmes
FindA University Ltd Featured PhD Programmes

VeTSS PhD Scholarship Programme on Session Types and Programming Languages

  • Full or part time
  • Application Deadline
    Thursday, August 16, 2018
  • 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”.

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully




Cookie Policy    X