Jobs
My ads
My job alerts
Sign in
Find a job Career Tips Companies
Find

Research associate in formal modelling and verification

Sheffield
Institute for Modern
Research associate
Posted: 7 October
Offer description

Overview

We invite applications for a postdoctoral research associate on the project “Co-Pilots for Isabelle: Learning Logical Structure for a Better Proving Experience”. The post is based in the verification group of the School of Computer Science at the University of Sheffield, supervised by Dr Andrei Popescu and Prof Nikos Aletras.


Responsibilities

* Conduct high-quality research in formal verification.
* Develop software for theorem proving and AI integration.
* Collaborate on extending Isabelle with intelligent copilots and leverage structured information from users and developers.
* Contribute to the collaboration between the University of Sheffield, University of Copenhagen and King's College London.


Qualifications

* Ability to conduct high-quality research.
* Excellent skills in developing software for theorem proving and AI integration.
* Familiarity with a proof assistant is a plus.
* Familiarity with the Isabelle/HOL proof assistant and AI models is a big plus.


Project context

The project aims to research next-generation formal reasoning mechanisms by combining AI with traditional structural methods. Isabelle is a widely used proof assistant, and the project explores intelligent copilots that utilize structured information from users and developers to improve proving experiences.


Organisation and rewards

We are committed to flexible working opportunities. The University’s Total Reward Package includes a competitive salary, a generous Pension Scheme and annual leave entitlement, as well as access to a range of learning and development courses to support your personal and professional development.

To learn more about the University of Sheffield, watch a short film and follow @sheffielduni on X for more information.


Diversity and inclusion

We build teams of people from different heritages and lifestyles from across the world, whose talent and contributions complement each other for greater impact in research, teaching and student experience.


Salary

£38,784 to £47,389 with potential to progress to £51,753 through sustained exceptional contribution.

#J-18808-Ljbffr

Apply
Create E-mail Alert
Job alert activated
Saved
Save
Similar job
Research associate
Sheffield
The University of Sheffield
Research associate
Similar job
Research associate/senior research associate- national centre of excellence in intellectual dis[...]
Sheffield
UNSW
Research associate
Similar job
Research associate in optimization of adaptable and practical structures
Sheffield
The University of Sheffield
Research associate
See more jobs
Similar jobs
Science jobs in Sheffield
jobs Sheffield
jobs South Yorkshire
jobs England
Home > Jobs > Science jobs > Research associate jobs > Research associate jobs in Sheffield > Research Associate in Formal Modelling and Verification

About Jobijoba

  • Career Advice
  • Company Reviews

Search for jobs

  • Jobs by Job Title
  • Jobs by Industry
  • Jobs by Company
  • Jobs by Location
  • Jobs by Keywords

Contact / Partnership

  • Contact
  • Publish your job offers on Jobijoba

Legal notice - Terms of Service - Privacy Policy - Manage my cookies - Accessibility: Not compliant

© 2025 Jobijoba - All Rights Reserved

Apply
Create E-mail Alert
Job alert activated
Saved
Save