Research Associate (616410)

The Research Associate will conduct research on this Leverhulme project under the guidance of Dr Clemens Kupke and in close collaboration with Dr Corina Cîrstea and a second Research Associate at the University of Southampton. They will use this to develop their own research portfolio with a view to developing future project proposals.

FTE: 1
Term: Fixed term (6 months)

Associate on Leverhulme project grant COVER: Coalgebraic Foundations of Quantitative Verification

We are hiring a Research Associate whose broad objective is to extend and develop with the PI, the theory underpinning a new framework for quantitative verification involving e.g. costs or rewards. Our work focuses on new foundations grounded in a coalgebraic modelling of systems. Our aim is to enhance the applicability of model checking through the use of more general models and specification logics, and to improve its scalability by placing compositionality and abstraction at the heart of model checking.

The focus of this role will be to create a categorical framework that makes our framework for quantitative verification compositional such that coalgebraic components can be seamlessly combined to build larger systems and thus to make our algorithms scale. Therefore, the ideal candidate will possess a strong theoretical background. You will possess a Ph.D. in Computer Science or Mathematics with a focus on Logic, Verification and possess knowledge of basic Category Theory, or have significant relevant experience in addition to a relevant degree. This is a 6-month fixed-term position.

COVER is a joint project between the University of Southampton and the University of Strathclyde. The part of project at Strathclyde is led by Dr Clemens Kupke from the Mathematically Structured Programming (MSP) Group, the part in Southampton by Dr Corina Cîrstea from the Agents, Interaction and Complexity Research Group. A second RA in Southampton will complement the overall research team. As RA at Strathclyde, you will be a member of the MSP Group and contribute to its lively research environment through participation in seminars and research meetings. The group consists of a number of internationally leading researchers and is headed by Dr Fredrik Nordvall-Forsberg. Our vision is to use mathematics and logic to understand the nature of computation, and to then turn that understanding into the next generation of programming languages and of tools that ensure program correctness.

Informal enquiries about the post can be directed to Dr Clemens Kupke, Senior Lecturer (clemens.kupke@strath.ac.uk).

Formal interviews for this post will be held in May 2024.

Click here for full details.

Advert information