[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The School of Computing Science at the University of Glasgow is offering
studentships to support PhD research for students starting in October 2026 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 (~£21,383 for
session 2026-27).
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!TWUEze-oTQh8pq42cFb9xR4sCCJGDzaczS737YByTAY0XXZPCWJ1bVY-wLluVcMcNLqBACvDvFUL9dkLsrzBbQG2H3R17RlwdMOeo3H_fFE$
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 2026. 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!TWUEze-oTQh8pq42cFb9xR4sCCJGDzaczS737YByTAY0XXZPCWJ1bVY-wLluVcMcNLqBACvDvFUL9dkLsrzBbQG2H3R17RlwdMOeRNCJj9I$
. 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!TWUEze-oTQh8pq42cFb9xR4sCCJGDzaczS737YByTAY0XXZPCWJ1bVY-wLluVcMcNLqBACvDvFUL9dkLsrzBbQG2H3R17RlwdMOeo3H_fFE$
). 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!TWUEze-oTQh8pq42cFb9xR4sCCJGDzaczS737YByTAY0XXZPCWJ1bVY-wLluVcMcNLqBACvDvFUL9dkLsrzBbQG2H3R17RlwdMOeCTrN4-k$
<https://urldefense.com/v3/__https://spli.scot/__;!!IBzWLUs!TWUEze-oTQh8pq42cFb9xR4sCCJGDzaczS737YByTAY0XXZPCWJ1bVY-wLluVcMcNLqBACvDvFUL9dkLsrzBbQG2H3R17RlwdMOe3x5komA$
>) which organises events such as the Scottish Programming Languages Seminar
and the Scottish Programming Languages and Verification Summer School.
