PhD positions at University of Glasgow in Programming Languages

by Ornela Dardha, Nov. 30, 2020

The School of Computing Science at the University of Glasgow is offering up to 17 studentships to support PhD research for students starting in 2021. Funding is available to support tuition fees for both home and international students, and in most cases to support living expenses at the recommended UKRI rate (currently £15,285 per annum) in addition.

Whilst this funding is open to students in all areas of computing science, applications in the area of programming languages are welcomed. Available supervisors in this area at the School include (check the PL theme website for further details)


* Dr Ornela Dardha (programming language foundations, logic, session types for concurrent/distributed systems), email [email protected]

* Prof Simon Gay (programming language theory, verification techniques based on session types for concurrent/distributed systems), email [email protected]

* Dr Jeremy Singer (compilers, cloud, managed run-times, parallelism, resource management), email [email protected]

* Prof Phil Trinder (programming languages, functional programming, parallel/distributed systems), email [email protected]

* Prof Wim Vanderbauwhede (programming languages, compilation, heterogeneous & FPGA computing), email [email protected]


Students can apply for admission to PhD study at any time, but to be considered for the studentships we are offering at this round, we must receive your application by 31 January 2021.  For more information about how to apply, see  This web page includes information about the research proposal, which is required as part of your application.


Applicants are strongly encouraged to contact a potential supervisor and discuss an application before the submission deadline.  See and for more details about the funding available.


Information session: we will be running an information session for potential applicants on Friday 11 December from 1100-1200 GMT.  The session is intended to give you an insight into the research currently undertaken in the School of Computing Science, scholarships and other sources of funding available, and how to make your application.  The event will take place via Zoom; to obtain a link, you must sign up here: