Job Description

Job Information Organisation/Company
KINGS COLLEGE LONDON Research Field
Computer science Researcher Profile
Recognised Researcher (R2)
Established Researcher (R3) Country
United Kingdom Application Deadline
9 Oct 2025 - 00:00 (UTC) Type of Contract
Other Job Status
Full-time Is the job funded through the EU Research Framework Programme?
Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure?
No
Offer Description
About us
The Department of Informatics is looking to appoint a Research Associate to work in the area of AI for Proof Assistants.
About the role
We are pleased to announce one postdoc position in the area of AI for proof assistants. The project is a close collaboration between King's College London, the University of Copenhagen, and the University of Sheffield.
The position is for two years. The suggested starting date is as soon as possible, but it is possible to start later for excellent candidates. The closing date is the 30th September 2027
Research topics include:

• Designing next-generation formal reasoning mechanisms by combining AI with symbolic methods.
• Formulating new AI problems related to applications of proof assistants to mathematics and creating new benchmarks for them. Those AI problems should aim at improving proof assistants and their applicability to formalising mathematics as well as mathematical discovery
• Implementing new AI features in the Isabelle proof assistant and evaluating them on the benchmarks, when applicable

Applicants should have already completed, or be close to completing, a PhD in a relevant discipline. Applicants should be able to demonstrate scientific creativity, research independence, and the ability to communicate their ideas effectively in written and verbal form.
This is a full time post, and you will be offered a fixed term contract until the 30th September 2027.
Research staff at King's are entitled to at least 10 days per year (pro-rata) for professional development. This entitlement, from the , applies to Postdocs, Research Assistants, Research and Teaching Technicians, Teaching Fellows and AEP equivalent up to and including grade 7. Visit the for more information.
About you
To be successful in this role, we are looking for candidates to have the following skills and experience:
Essential criteria * PhD in theorem proving and its applications or in AI

• Publication track record in top theorem proving or AI venues
• Effective communication: written and verbal

Desirable criteria * Ability to work independently

• Willingness and ability to collaborate
• Creativity and originality in research

Downloading a copy of our
Full details of the role and the skills, knowledge and experience required can be found in the document, provided at the bottom of the page. This document will provide information of what criteria will be assessed at each stage of the recruitment process.
Further Information
We pride ourselves on being inclusive and welcoming. We embrace diversity and want everyone to feel that they belong and are connected to others in our community.
We are committed to working with our staff and unions on these and other issues, to continue to support our people and to develop a diverse and inclusive culture at King's.
As part of this commitment to equality, diversity and inclusion and through this appointment process, it is our aim to develop candidate pools that include applicants from all backgrounds and communities.
We ask all candidates to submit a copy of their CV, and a supporting statement, detailing how they meet the essential criteria listed in the advert. If we receive a strong field of candidates, we may use the desirable criteria to choose our final shortlist, so please include your evidence against these where possible.
To find out how our managers will review your application, please take a look at our ' ' pages.
Grade and Salary: 45,031 - 51,174 per annum, including London Weighting Allowance
Job ID: 126207
Close Date: 09-Oct-2025
Contact Person: Dr Mohammad Abdulaziz
Contact Details:
Where to apply Website
Requirements
Additional Information
Work Location(s)
Number of offers available 1 Company/Institute KINGS COLLEGE LONDON Country United Kingdom City London (Greater) (GB)
Contact City
London (Greater) (GB)
STATUS: EXPIRED
Share this page

Skills Required