University of Bristol
Senior Research Associate in Logic and Programming Languages for AI Safety
How your CV stacks up
Upload your CV to see how well it fits this job role
?%
The role
The School of Computer Science is seeking a Senior Research Associate to work on the use of logic and programming languages for AI safety. The post forms part of a research project led by Dr Alex Kavvos and funded by the Advanced Research and Invention Agency (ARIA) under its Safeguarded AI programme.
This is a full-time, Grade J, Pathway 2 (Research) role. The post is open-ended with fixed funding to 30 November 2027. It is based in the School of Computer Science, Faculty of Science and Engineering, at the Merchant Venturers Building, Bristol.
What will you be doing?
- Conduct high-quality research on logic and programming languages for AI safety, contributing original ideas and developing the theoretical and methodological aspects of the project.
- Develop formal foundations, languages and methods for specifying and reasoning rigorously about the behaviour of software and AI systems, drawing on areas such as programming language theory, logic and category theory.
- Design, implement and evaluate software tools that put these methods into practice, including through the use of agentic programming tools.
- Write up research for publication in international venues, present findings at conferences and seminars, and collaborate with colleagues in the School of Computer Science and the wider Safeguarded AI research community.
Reasons to use Rodeo
Start with a chat, not a search bar
Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.
It searches the market for you
Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.
Only hits
No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.
You should apply if
- You have a PhD, are near completion, or have equivalent research experience in computer science, mathematics, or a related discipline.
- You should have a strong research background in at least one of programming language theory, logic, category theory, formal verification, or a closely related area, evidenced by research outputs or equivalent professional experience.
- You will have significant experience of independent research, strong analytical skills, and the ability to apply rigorous formal reasoning.
- You should be able to communicate complex theoretical and technical information clearly, prepare research for publication, and present findings to specialist and non-specialist audiences.
- Experience with formal verification, type theory, proof assistants, session types, AI safety, or agentic programming tools would be desirable.
Additional information
- This position is subject to the finalisation and confirmation of external funding. Whilst approval to recruit has been granted, the University reserves the right not to proceed with an appointment should the funding not be confirmed.
- Should the funding position change during the recruitment process, applicants will be informed as soon as reasonably possible and the advert will be updated accordingly.
Get help with your application
Your very own career expert that helps elevate your application to the next level.
To find out more about what it's like to work in the Faculty of Engineering, and how the Faculty supports people to achieve their potential, please see our staff blog: https://engineering.blogs.bristol.ac.uk/category/engineering-includes-me/
For informal queries please contact: Dr Alex Kavvos, Senior Lecturer (alex.kavvos@bristol.ac.uk)
Contract type
Open-ended with fixed funding to 30 November 2027 (with no possibility of extension)
Work pattern
Full time/35 hours per week
Grade
J/Pathway 2
Salary
£43,482 – £50,253 per annum
School/Unit
School of Computer Science
This advert will close at 23:59 UK time on 18/08/2026
The anticipated interview date is on 04/09/26
Our strategy and mission
We recently launched our strategy to 2030 tying together our mission, vision and values.
Available documents
- Faculty of Science & Engineering Further Particulars 2024-25.pdf
- ACAD108656 - Senior_Research_Associate - JD.pdf
“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”
Jessica, London
Skills
Location