PhD student position on coalgebraic logics for quantitative verification, Glasgow (Scotland)

In the Mathematically Structured Programming Group at the University of Strathclyde (Glasgow), applications are invited for a fully funded (*) PhD studentship in the area of coalgebraic logics & model-checking under the supervision of Dr Clemens Kupke. The goals of the project are to work on a new mathematical framework for quantitative logics and, based on this, to create model-checking tools for verification. The research will be part of the Leverhulme project "COVER: Coalgebraic Foundations of Quantitative Verification" in collaboration with the University of Southampton and funds 2 postdoctoral researchers. This means that the new student will be embedded in an active research team with closely aligned goals.

The successful applicant will have either at least a 2:1 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 develop mathematical foundations for program correctness and the next generation of programming languages. In order to achieve these research goals we mainly use ideas from category theory, logic, type theory and functional programming. Besides Dr Clemens Kupke, the group consists of a number of internationally leading researchers including Prof Neil Ghani, Prof Radu Mardare, Prof Glynn Winskel, Dr Robert Atkey, Dr Jules Hedges, Dr Conor McBride, Dr Fredrik Nordvall-Forsberg and Dr Jeremy Ledent as well as a number of PhD students.

Anyone interested should in the first instance contact Dr Clemens Kupke at clemens.kupke at strath.ac.uk and outline their academic background. Applications will be considered on a first come basis from 2 February.

*) Caveat: For UK citizens these positions are fully-funded. For students from other European countries the situation is currently not 100% clear and will have to be clarified on a case-by-case basis.
Oversees fees for students from further afield are generally not covered but there is limited funding available for particularly strong candidates.