Overview
Research Associate (Computer Science) – Strand, London, WC2R 2LS
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 Concordat to Support the Career Development of Researchers, applies to Postdocs, Research Assistants, Research and Teaching Technicians, Teaching Fellows and AEP equivalent up to and including grade 7. Visit the Centre for Research Staff Development for more information.
