[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
