Research Fellow in Automated Verification

United Kingdom
£30,942 to £38,017
Oct 07, 2020
Nov 05, 2020
Organization Type
University and College
Full Time
Applications are invited for the post of Research Fellow in Automated Verification, to join the 3-year 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 ( and the UKRI MINDS Centre for Doctoral Training (

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 professional qualification 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 until 31/10/2023. The starting date is 1 December 2020 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 that wish to work flexibly and to those who have taken a career break. The University has onsite childcare facilities and employs a childcare vouchers scheme. We have a range of staff development programmes and a unique mentoring and wellbeing scheme.

For informal inquiries, please contact Dr Corina Cirstea ( ).

*Applications for Research Fellow positions will be considered from candidates who are working towards or nearing completion of a relevant PhD qualification. The title of Research Fellow will be applied upon successful completion of the PhD. Prior to the qualification being awarded the title of Senior Research Assistant will be given.

We aim to be an equal opportunities employer and welcome applications from all sections of the community.

Similar jobs

Similar jobs