At a Glance
- Tasks: Conduct cutting-edge research on logic and programming languages for AI safety.
- Company: Join the School of Computer Science at a leading university in Bristol.
- Benefits: Competitive salary, open-ended contract, and opportunities for professional growth.
- Other info: Dynamic research environment with potential for significant contributions to AI safety.
- Why this job: Make a real impact in AI safety while collaborating with top researchers.
- Qualifications: PhD or equivalent experience in computer science or related fields required.
The predicted salary is between 43482 - 50253 £ per year.
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? 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 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.
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.
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: Staff Blog.
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).
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.
Salary: £43,482 to £50,253. Grade J/Pathway 2, per annum.
Senior Research Associate, Logic and Programming Languages for AI Safety in Bristol employer: Aisafety
MATS London is an exceptional employer, offering a dynamic and collaborative work culture that empowers employees to take ownership of their roles from day one. With a focus on professional growth and the flexibility of hybrid work arrangements, team members are supported in their development while contributing to meaningful AI safety research in a vibrant London setting.
StudySmarter Expert Advice🤫
We think this is how you could land Senior Research Associate, Logic and Programming Languages for AI Safety in Bristol
✨Get Involved in Research Communities
Dive headfirst into the scientific research world by joining relevant communities and forums. Engage in discussions, share your insights, and even attend conferences or seminars in your field. This not only boosts your visibility but can also lead to potential job opportunities—don't forget to connect with like-minded folks!
✨Show Off Your Research Projects
Have you worked on any cool research projects? Make it easy for potential employers to see your work by creating a portfolio or a personal website. This way, when you apply for roles like the one at Aisafety, you can point them to your projects and publications, showcasing your expertise directly.
✨Utilise Professional Networks
Networking is key in scientific research. Join professional bodies or organisations related to your field. They often have job boards and resources tailored for job seekers. Make connections with professionals who may know about openings or can give you tips on landing a full-time position.
✨Keep Your Eyes on Openings & Apply Directly
Don’t just rely on job boards! Keep an eye on the careers section of the websites of companies like Aisafety. Apply directly through their website because sometimes they post jobs there before anywhere else. Plus, it shows your proactive approach!
We think you need these skills to ace Senior Research Associate, Logic and Programming Languages for AI Safety in Bristol
Some tips for your application 🫡
Highlight Your Research Experience:When applying for a full-time role in scientific research, make sure to emphasise your research experience prominently in your CV. Share specific projects you’ve worked on, the methodologies you used, and any significant findings. If you’ve published papers or presented at conferences, definitely include that too – it shows you’re on it in the academic world!
Tailor Your Cover Letter to the Research Area:Your cover letter should reflect your passion for the specific area of research at Aisafety. Mention relevant experiences that align with the organisation’s goals or projects. This shows that you’ve done your homework and are genuinely interested in the position – plus, it helps us see how you’d fit into the team dynamics.
Showcase Your Data Analysis Skills:In scientific research, data analysis skills are a big deal! Make sure to detail any relevant analytical tools or software you’re familiar with, like R, Python, or statistical packages. Employers are keen to know you can handle the data-heavy elements of the role, so add specific examples where you’ve used these skills effectively.
Discuss Your Future Research Goals:In your motivation section, it’s a great idea to talk about your future research goals and how they align with the work being done at Aisafety. This shows that you’re not just looking for any job, but rather a chance to contribute meaningfully to the field. We love to see applicants who are forward-thinking and enthusiastic about their research journey!
How to prepare for a job interview at Aisafety
✨Showcase Your Research Skills
In scientific research, it’s crucial to demonstrate your ability to design and conduct experiments. Come armed with examples of past projects where you've developed hypotheses, collected data, and analysed results. Be ready to discuss any specific methodologies or tools you’ve used, like PCR techniques or statistical software.
✨Prepare for Technical Questions
Expect some technical questions specific to your field. Make sure you're up to speed with recent advancements in scientific research related to the role at Aisafety. Brush up on concepts relevant to their projects and be prepared to discuss how you would approach a specific research problem or challenge they might face.
✨Know Your Publications
If you've authored or co-authored any papers, be prepared to discuss them! Highlighting your contributions to published research can really set you apart. It shows not only your expertise but also your ability to communicate complex ideas clearly, which is key in scientific research roles.
✨Exhibit Your Team Spirit
In full-time roles, collaboration is often at the heart of scientific research. Prepare examples that show how you've successfully worked in teams, dealt with conflicts, or contributed to group projects. We want to know how you can work effectively with the team at Aisafety to drive research projects forward.
