PhD position in the MSP group at the Univ. of Strathclyde, Glasgow (Schotland)

The University of Strathclyde invites applications for PhD study under the supervision of Dr Clemens Kupke and Prof Neil Ghani in the area of coalgebra, category theory and logic with a special focus on linking the coalgebraic theory to applications in databases. The position is fully funded for EU students and will last for 3 years.

The successful applicant will have a good degree or an MSc in Mathematics or Computer Science or a related subject with a strong Mathematics or Computer Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential.

The Mathematically Structured Programming Group's vision is to use mathematics to understand the nature of computation, and to then turn that understanding into the next generation of programming languages. This reflects the symbiotic relationship between mathematics, programming, and the design of programming languages - any attempt to sever this connection will diminish each component. In order to achieve these research goals we mainly use ideas from category theory, logic, type theory and functional programming. Besides Prof Neil Ghani and Dr Clemens Kupke, the group consists of a number of internationally leading researchers including Dr Patricia Johann, Dr Conor McBride and Dr Sam Lindley as well as a number of PhD students.

Anyone interested should view the MSP-group website at http://www.msp.cis.strath.ac.uk/, or contact Dr Clemens Kupke at clemens.kupke at strath.ac.uk and outline their academic background. Applications will be considered starting from 15 April 2013.