At a Glance
- Tasks: Conduct cutting-edge research on logic and programming languages for AI safety.
- Company: Join a leading School of Computer Science at the University of Bristol.
- Benefits: Open-ended contract with competitive salary 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, mathematics, or related fields.
The predicted salary is between 45000 - 55000 £ 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.
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.
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.
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
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.
Senior Research Associate in Logic and Programming Languages for AI Safety in Bristol employer: City of Bristol College
The University of Bristol is an exceptional employer, offering a vibrant work culture that prioritises collaboration and innovation within its catering and hospitality services. Employees benefit from professional development opportunities, a supportive environment, and the chance to make a meaningful impact on the university community. Located in a dynamic city, the university provides a unique setting for personal and career growth, making it an attractive place for those seeking rewarding employment.
StudySmarter Expert Advice🤫
We think this is how you could land Senior Research Associate in Logic and Programming Languages for AI Safety in Bristol
✨Get Involved in Data Science Meetups
Tap into local data science meetups or workshops to connect with fellow enthusiasts and professionals. These events are goldmines for networking, and sometimes even lead directly to job openings at companies like City of Bristol College!
✨Show Off Your Projects
Start building a public portfolio showcasing your data science projects on platforms like GitHub or personal websites. Highlight unique analyses or models you've developed. This not only demonstrates your skills but also gets your name out there for roles like Senior Research Associate in Logic and Programming Languages for AI Safety at City of Bristol College.
✨Leverage Professional Networks
Join professional bodies related to data science, like the Data Science Society or similar organisations. Getting involved can lead to mentorship opportunities and insider knowledge about full-time positions at companies like City of Bristol College.
✨Apply Directly through Our Website
When you find a suitable opening like Senior Research Associate in Logic and Programming Languages for AI Safety at City of Bristol College, make sure to apply directly through our website. It gives you an edge and shows you're keen to join our team. Plus, who doesn’t love a direct application? It’s easier than navigating through job boards!
We think you need these skills to ace Senior Research Associate in Logic and Programming Languages for AI Safety in Bristol
Some tips for your application 🫡
Show Off Your Projects:In the world of data science, your projects can speak volumes about your skills. Make sure to showcase a few key projects in your CV or portfolio, especially those that highlight your ability to work with data sets, build models, or use relevant tools like Python, R, or SQL. Don’t forget to include links to any GitHub repositories if applicable!
Quantify Your Achievements:Employers love numbers! When drafting your CV, highlight your achievements with quantifiable results. For instance, mention how your data analysis led to a certain percentage increase in efficiency or revenue at a previous job or project. These details can really make your application pop!
Craft a Tailored Cover Letter:For a full-time role at City of Bristol College, your cover letter should reflect your passion for data science and your excitement about the specific projects or values of the company. Dive into why you’re a good fit, how your skills align with their needs, and any unique perspectives you can bring to the team.
Stand Out with Relevant Courses and Certifications:Although experience talks, relevant courses or certifications can be your ticket to impressing hiring managers at City of Bristol College. Mention any standout courses you've completed that equipped you with essential skills, such as machine learning certifications or data visualisation courses. This shows your commitment to continuously developing your skills in the field!
How to prepare for a job interview at City of Bristol College
✨Brush Up on Your Statistics
For a data science role, we need to seriously sharpen our statistics skills. Get ready to tackle technical questions on probability distributions, hypothesis testing, and regression analysis. These are often the bread and butter of data science interviews, so don't just skim over them!
✨Showcase Your Projects
Prepare a killer portfolio showcasing your data science projects. We should include details about the datasets used, the tools and techniques applied, and the impact of your findings. If we can walk them through a particularly challenging project or a cool visualisation that had real-world implications, it’ll really make us stand out!
✨Get Comfortable with Python and R
Most data science positions require us to be proficient in programming languages like Python and R. We should practice common libraries like pandas, NumPy, and scikit-learn, and be ready for live coding exercises or algorithm questions. Showing off our coding chops can really impress the interviewers at City of Bristol College!
✨Prepare for Case Studies
Expect to encounter real-world case studies during the interview. We might be asked how we’d approach a data problem or analyse a dataset to extract insights. It's essential to think out loud and demonstrate our problem-solving process so that the interviewer can see our logical thinking in action.
