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://msp.cis.strath.ac.uk/phd2026-JARSS.html Best wishes, Clemens -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
