Multiple PhD positions in Mathematically Structured Programming (MSP) at the University of Strathclyde [UK]

The MSP Group at the University of Strathclyde is advertising multiple PhD positions. They see the mathematical foundations of computation and programming as inextricably linked, and study one so as to develop the other. Applicants in the area of the Mathematically Structured Programming (MSP) Group are strongly encouraged to apply. 

The studentships cover tuition fees, a stipend for living expenses, and a small travel budget for the UK home students. Unfortunately, the funding provided is not enough for non-UK tuition fees, and for such students it is advisable to search for other funding opportunities.