[TYPES/announce] PhD Studentships in PL at the University of Glasgow

[Simon Fowler]

The School of Computing Science at the University of Glasgow is offering studentships to support PhD research for students starting in October 2025 or shortly thereafter. Funding is available to support tuition fees for both UK-domiciled and international students, and in most cases to support living expenses at the recommended UKRI rate with an annual stipend (~£19,795 for session 2025-26).

Although the above funding is open to students in all areas of Computing Science, applications in the area of programming languages are very welcome. The School's Programming Languages Theme gathers researchers interested in PL, broadly construed, and has representation from theory, systems, and education.
A list of supervisors can be found on our web page: https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!QPYj-vro8hhO7gqcbIAvCWLpATv2fstaUmoO_brFzeJ_a4NGZG-nxzglMahtU5Dy9yHNnIUAI99d533v9B3QISOtC0vZdz_W0H0WHXu65oc$ 

Applicants will typically have a BSc (2:1 or above) or MSc in Computing Science, and will have had some exposure to the field of programming languages through courses, internships, or undergraduate projects.

# Application Process

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 31st January 2025. We strongly recommend getting in touch with a supervisor directly before making an application; to discuss an application we would recommend contacting us earlier. For more information about how to apply, see https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/__;!!IBzWLUs!QPYj-vro8hhO7gqcbIAvCWLpATv2fstaUmoO_brFzeJ_a4NGZG-nxzglMahtU5Dy9yHNnIUAI99d533v9B3QISOtC0vZdz_W0H0WLepd8OA$ .  This web page includes information about the research proposal, which is required as part of your application.

# Research Environment
The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland’s largest city, offers an outstanding range of cultural resources and a high quality of life.

As a PhD student researching PL, you will be part of the Programming Languages Theme (https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/__;!!IBzWLUs!QPYj-vro8hhO7gqcbIAvCWLpATv2fstaUmoO_brFzeJ_a4NGZG-nxzglMahtU5Dy9yHNnIUAI99d533v9B3QISOtC0vZdz_W0H0WHXu65oc$ ). We have a regular seminar series, PLUG, and members of the theme regularly publish in top venues (e.g., POPL, ICFP, ECOOP, ESOP, CONCUR).

Scotland is an outstanding place to do programming languages research, with a vibrant PL community. Our PL theme is a member of the Scottish Programming Languages Institute (https://urldefense.com/v3/__https://spli.scot__;!!IBzWLUs!QPYj-vro8hhO7gqcbIAvCWLpATv2fstaUmoO_brFzeJ_a4NGZG-nxzglMahtU5Dy9yHNnIUAI99d533v9B3QISOtC0vZdz_W0H0WhkiULHI$ ) which organises events such as the Scottish Programming Languages Seminar and the Scottish Programming Languages and Verification Summer School.