Machine learning engineer Work, Jobs in Cardiff, Wls (with Salaries)

Senior Research Associate in Logic and Programming Languages for AI Safety
University of Bristol —Bristol
- £43,482 - £50,253 a year
- Full-time
- Doctoral degree
- Research
- Analysis skills
Senior Project Manager
JAA-Jones Lang LaSalle Limited —Bristol
- Full-time
- Microsoft Excel
- Microsoft Outlook
- Writing skills
Quick apply
Senior Project Manager
JLL —Bristol
- Microsoft Excel
- Microsoft Outlook
- Writing skills
Assistant HR Business Partner
LiveWest —Weston-super-Mare
- £37,500 - £42,500 a year
- Hybrid work
- Microsoft Office
- Analysis skills
- Continuous improvement
- Annual leave
- Employee discount
13d
Senior Full Stack Developer - 6-month Fixed Term Contract
Singer Instrument Co Ltd —Minehead
- From £60,000 a year
- Full-time
- AWS
- AI
Principal Data Architect
Toumetis —Bristol
- Full-time
- Hybrid work
- Machine learning
- Communication skills
- Analytics
Quick apply
Commercial Finance Business Partner
Vivobarefoot —Bristol
- Hybrid work
- Analysis skills
- AI
- Communication skills
Director of Product & Merchandising
Vivobarefoot —Bristol
- Hybrid work
- Merchandising
- AI
- Leadership
Global Revenue Growth Manager
Imperial Brands —Bristol
- AI
Software Development Engineer in Test
Crowdcube —Cardiff
- Up to £55,000 a year
- Hybrid work
- Agile
- AI
7h

Discover related jobs

Based on your search for machine learning engineer jobs.

Software Engineer, Platform - Cardiff, United Kingdom
Speechify —Cardiff
Work closely with cross-functional teams to align backend architecture with overall product strategy and user experience. An Ideal Candidate Should Have.
12d
Senior Dynamics Developer
Intellectual Property Office —Newport
To provide up to date services to our customers systems need to be developed, improved, and maintained. Successful candidates must pass a disclosure and barring…
£47,766 - £58,575 a year

I want to receive the latest job alerts for machine learning engineer in cardiff, wls

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Explore jobs in more locations

machine learning engineer jobs near cardiff, wls

Senior Research Associate in Logic and Programming Languages for AI Safety

University of Bristol -
Bristol

Apply Now

Job details

Full-time
£43,482 - £50,253 a year

Qualifications

Doctoral degree
Science and research experience
Research
Analysis skills
Software development

Full job description

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?

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:

https://engineering.blogs.bristol.ac.uk/category/engineering-includes-me/

For informal queries please contact: Dr Alex Kavvos, Senior Lecturer ([email protected])

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.

Apply Now

Refine Your Search

machine learning engineer jobs in cardiff, wls

Senior Research Associate in Logic and Programming Languages for AI Safety

Senior Project Manager

Senior Project Manager

Assistant HR Business Partner

Senior Full Stack Developer - 6-month Fixed Term Contract

Principal Data Architect

Commercial Finance Business Partner

Director of Product & Merchandising

Global Revenue Growth Manager

Software Development Engineer in Test

Discover related jobs

I want to receive the latest job alerts for machine learning engineer in cardiff, wls

Related Searches

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected