1897622FP

You will join the research project COVER: COalgebraic Foundations for Quantitative VERification. The post will be in the Agents, Interaction and Complexity (AIC) research group, in the School of Electronics and Computer Science (ECS) at the University of Southampton. The AIC group leads a number of nationally important research centres including the Trustworthy Autonomous System Research Hub (tas.ac.uk) and the UKRI MINDS Centre for Doctoral Training (mindscdt.ai).

The project, funded by the Leverhulme Trust, is a collaboration between the Universities of Southampton and Strathclyde. It aims to transform the area of automated verification by extending its scope in a principled way to match the complexity of modern applications and their varied, often quantitative verification needs. We will achieve this by developing new foundations grounded in the theory of coalgebras, along with algorithms and prototype tools to showcase them. This will enhance the applicability of automated verification through the use of more general models and specification logics. It will also improve the scalability of automated verification by placing compositionality and abstraction at the heart of verification. The research team includes Dr Corina Cirstea from the AIC group at the University of Southampton, Dr Clemens Kupke from the Mathematically Structured Programming group at the University of Strathclyde, and two Research Fellows, one at Southampton and one at Strathclyde.

You will contribute to the development of new theories for quantitative verification, and will take a leading role in the development of algorithms that support quantitative model checking and synthesis. You will also work alongside the Strathclyde Research Fellow on the development of prototype tools.

To be successful you will have a PhD (or equivalent)/ equivalent professional qualifications and experience in computer science or mathematics, and a proven track record in logic, formal verification or category theory. Prior exposure to category theory and/or coalgebraic methods is desirable, as is experience with algorithm development. You must also be able to work effectively in a team and organise time, tasks and responsibilities with other team members.

The appointment is full time, fixed term (20 months). The starting date is 1 October 2022 or as soon as possible thereafter.

Ranked in the top 1% of universities globally and among the UK’s top 20 for research, the University of Southampton has an international reputation for its research, teaching and enterprise activities. The School of Electronics and Computer Science provides a unique, friendly and supportive environment that facilitates use-inspired and multi-disciplinary research, education, training and outreach.

Equality, Diversity and Inclusion are central to the ethos of the School of Electronics and Computer Science. We are committed to improving equality for women in science and engineering and have been successful in achieving an Athena SWAN bronze award in April 2020. We will give due consideration to applicants who wish to work flexibly and to those who have taken a career break. The University has onsite childcare facilities. We have a range of staff development programmes and a unique mentoring and wellbeing scheme.