[TYPES/announce] Funded PhD positions at the University of Strathclyde

[Fredrik Nordvall Forsberg]

Dear colleagues,

The Mathematically Structured Programming Group at the University of 
Strathclyde is advertising PhD positions. MSP is a thriving, fun, and 
exciting place in the UK to do fundamental research. We are a 
progressive and inclusive group of people, and we welcome students from 
all backgrounds.

A number of fully funded positions are available for UK home students as 
part of the John Anderson Research Studentship Scheme. The studentships 
cover tuition fees, a stipend for living expenses, and a small travel 
budget.

Unfortunately, the funding provided is not enough for non-UK tuition fees.

We see the mathematical foundations of computation and programming as 
inextricably linked, and study one so as to develop the other. This 
reflects the symbiotic relationship between mathematics, logic, and 
programming -- any attempt to sever this connection will diminish each 
component.

If you are interested in applying, please contact a potential supervisor 
*as soon as possible*, by 22 December 2025 at the latest. Please include 
your CV and a brief outline of your research interests in your message.

More information, including a list of potential supervisors, can be found at

https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/phd2026-JARSS.html__;!!IBzWLUs!QMuDHnpaa9l-tG_a3u0buxeWcFOnslJE05IzizKOA-OWF6pfJtse4Ks1eEdzzwvUXcKvRXe8KJVfr5uQiDN0t654tWOySmv2WBLBe_xXbEMmeg$ 

Best wishes,
Fred