|£53,576 to £55,125 (depending on experience) plus excellent benefits
|4th December 2023
|7th January 2024
The Alan Turing Institute
Named in honour of Alan Turing, the Institute is a place for inspiring, exciting work and we need passionate, sharp, and innovative people who want to use their skills to contribute to our mission to make great leaps in data science and AI research to change the world for the better.
Please find more information about us here
This project aims to improve the reliability and consistency of large language models (LLMs) by integrating the LLMs with probabilistic answer set programming (P-ASP).
This will allow for enforcement of logical, semantic, and syntactic constraints on LLM outputs. This role will involve developing methods to map between natural language and P-ASP frameworks, designing experiments to analyse LLM reasoning capabilities, developing methods for implementing P-ASP solvers to reformulate prompts, and develop strategies for constrained inference in LLMs.
The successful candidate will focus on evaluating and enhancing novel methods with Answer Set Programming based approaches to improve the mathematical and logical reasoning abilities of LLMs. This work will involve developing techniques to map between natural language and declarative programming frameworks to impose logical constraints on LLM reasoning. The candidate will design experiments and benchmarks to systematically test and improve performance on various mathematical, logical, and commonsense reasoning benchmarks.
DUTIES AND AREAS OF RESPONSIBILITY
Please see our portal for a full breakdown of the Job Description.
Terms and Conditions
This full-time post is offered on a 2-year fixed-term basis. The annual salary is £53,576 - £55,125 (depending on experience) plus excellent benefits, including flexible working and family friendly policies, https://www.turing.ac.uk/work-turing/why-work-turing/employee-benefits
The Alan Turing Institute is based at the British Library, in the heart of London’s Knowledge Quarter. We expect staff to come to our office at least 4 days per month. Some roles may require more days in the office; the hiring manager will be able to confirm this during the interview.
Please see our jobs portal (via the ‘Apply’ button above) for full details on how to apply and the interview process.
Equality Diversity and Inclusion
We are committed to making sure our recruitment process is accessible and inclusive.
This includes making reasonable adjustments for candidates who have a disability or long-term condition. Please contact us at firstname.lastname@example.org to find out how we can assist you.
Type / Role: