Research Associate (Computer Science) - Strand, London, WC2R 2LS

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.

Research topics include:

• Designing next-generation formal reasoning mechanisms by combining machine learning (especially LLMs) 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 (35 hours per week) post, offered on a fixed term contract for two years with an end date no later than the 31st March 2028.

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.