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.
You will 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. The role includes developing 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.
Where appropriate, you will also design, implement and evaluate software tools that put these methods into practice, including through the use of agentic programming tools. You will 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.
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.
Senior Research Associate in Logic and Programming Languages for AI Safety • London, GB
The Artificial General Intelligence (AGI) Safety and Alignment Team (ASAT) aims to reduce existential and catastrophic risk from AGI and eventually Artificial Superintelligence (ASI).We research no... Show more
InstaDeep is currently looking for a new Machine Learning Engineer to join our expanding Genomics team, located in either London or Paris.Our team is primarily dedicated to applied research, with a... Show more
PassFort in London is seeking a technical specialist to design innovative inspection software.You will work closely with users to understand their needs and develop solutions that integrate AI effe... Show more
Principal Technology Architect – LLMs, agentic coding systems, intelligent IDEs, AI.Senior Forward Deployed Engineer (AI‑Native) – Principal Technology Architect.Compensation: Competitive (includin... Show more
Architect and lead the implementation of multi‑agent systems using Google AI SDKs (Vertex AI Agent Builder), LangGraph, CrewAI, and other emerging orchestration frameworks.Design and build stateful... Show more
Talenzon group is seeking a Senior MLOps Engineer to join our London-based on-site team for a 6-month contract.You will design and implement an enterprise MLOps platform on AWS, deploy production-r... Show more
Anthropic is seeking a Research Engineer specializing in Reinforcement Learning to advance large language model capabilities.This role involves collaborative research and engineering, focused on op... Show more
Great AI and machine learning capability only creates value once it runs reliably in the real world.This role exists to bridge that final, critical gap—taking the AI/ML solutions developed within o... Show more
AWS EMEA SARL (UK Branch) is seeking a Specialist Solutions Architect to shape enterprise decision-making through agentic AI across planning and supply chain domains.You will own end-to-end program... Show more
Databricks is seeking a Senior Specialist Solutions Architect (ML & AI) to act as the trusted technical ML and AI expert for customers and the Field Engineering organization.You will partner with S... Show more
McGregor Boyall is seeking a Senior Machine Learning Engineer for a fully remote, Europe-wide role.You will design, build and deploy production ML systems, owning the full ML lifecycle from data pr... Show more
KDR Recruitment USA is partnering with a leading technology business to hire a Senior AI Research Engineer in a hybrid London setup.You will bridge advanced AI research and software engineering to ... Show more
Chubb is looking for a Senior AI Engineer to lead the design, development, and deployment of advanced generative AI solutions that improve how we operate across the insurance lifecycle — from under... Show more
Senior AI Engineer to own and evolve the AI agent at the heart of our bid-management platform.You’ll work across Python backend services and React/TypeScript interfaces to ship reliable features fo... Show more
Software Engineer III in London to build backend services for LLM inference and scalable production systems.You will work on routing, batching, scheduling, streaming responses, and quota management... Show more
Senior Specialist Solutions Architect (ML & AI) to act as a trusted technical ML/AI expert for customers and Field Engineering.You will guide enterprise customers in architecting production-grade M... Show more
A forward-thinking AI company is looking for a Research Engineer in Greater London.The role involves supporting researchers with large-scale ML pipelines, integrating cutting-edge research with pro... Show more
World Wide Technology is seeking an Enterprise Architect for AI who will own end-to-end delivery of AI/ML engagements, from silicon and data center design to software and MLOps governance.This hand... Show more
AI Evangelist (Senior Technology Architect).AI/ML/Gen AI, Data Science, Poly Cloud – Azure, AWS, GCP.We are seeking an accomplished Generative AI Consultant to drive the design and implementation o... Show more
Synack’s Penetration Testing as a Service platform manages customers’ attack surfaces by discovering new assets, pentesting for critical vulnerabilities and gaining visibility into the root causes ... Show more
){kind=logo}
