UK home fees PhD position in Mathematically Structured Programming at Strathclyde

Announcements Jobs
1

Hello Rocqers,

I have pasted below the advertisement for UK home fees PhD positions in
my team at Strathclyde (Glasgow, Scotland). Sorry about the tight turnaround
time as the internal announcements were quite delayed this year.

I am a former Rocqer myself (and so is Bob Atkey) and our team is using
quite a diverse set of languages; whatever is appropriate for the job basically
(currently: Agda, Dafny, Haskell, Idris, Ocaml) so don’t feel like you’d have to
give Rocq up if you were recruited. :wink:

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,

PS: note that even if you don’t make the tight deadline, it’s still worth informally
contacting us if you are interested as opportunities sometimes arise later in the
year.

2

This is an awesome opportunity, and I would love to apply. Too bad it is only for UK Students :frowning:

Do you think there would be possible to find additional source of funding for international students to complete covering the necessary cost of tuition?

3

In order to turn a home fees position into an international one we need to find approximately £80k.

If a candidate were backed by e.g. a company wanting to offer such a grant and co-supervise the PhD, this would definitely be possible.

Internally, most (all?) schemes to cover international fees are incompatible with schemes funding the PhD stipend.

This is why we are being very explicit about the fact it’s a UK home fees position as it’s near impossible to recruit anyone internationally (or even locally, if they do not abide by the stringent residency rules of the home fees system).