Research Associate (Computer Science)

King's College London; City Of London; On-site; GBP 35,000 - 50,000; Full time

Job summary

A prominent university in London is seeking a Research Associate to work on AI for proof assistants. This full-time position requires a PhD, with responsibilities including designing formal reasoning mechanisms, implementing AI features, and formulating new AI problems. The role fosters a commitment to diversity and inclusion, offering professional development opportunities.

Benefits

At least 10 days per year for professional development

Qualifications

• Completed or nearing completion of a PhD in a relevant discipline.
• Publication track record in top theorem proving or AI venues.
• Ability to communicate effectively in written and verbal form.

Responsibilities

• Design next-generation formal reasoning mechanisms.
• Implement and evaluate AI features in proof assistants.
• Formulate new AI problems related to proof assistants.

Skills

Theorem proving

AI techniques

Effective communication

Education

PhD in theorem proving or AI

Job 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 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.

About you

To be successful in this role, we are looking for candidates to have the following skills and experience:

Essential criteria

1. PhD in theorem proving and its applications or in AI
2. Publication track record in top theorem proving or AI venues
3. Effective communication: written and verbal

Desirable criteria

1. Ability to work independently
2. Willingness and ability to collaborate
3. Creativity and originality in research

Downloading a copy of our Job Description

Full details of the role and the skills, knowledge and experience required can be found in the Job Description 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 ' How we Recruit ' pages.