Back to search results

Research Associate in AI Verification

The University of Manchester - Science and Engineering - Department of Computer Science - School of Engineering

Location: Manchester
Salary: £37,694 to £46,049 per annum, depending on relevant experience
Hours: Full Time
Contract Type: Fixed-Term/Contract
Placed On: 4th August 2025
Closes: 14th August 2025
Job Ref: SAE-029413
Job reference: SAE-029413
Salary: £37,694 to £46,049 per annum, depending on relevant experience
Faculty/Organisational unit: Science and Engineering
Location: Manchester
Employment type: Fixed Term
Division/Team: Department of Computer Science
Hours per week: Full Time
Closing date (DD/MM/YYYY): 14/08/2025
Contract Duration: From 1st September 2025 for 18 months
School/Directorate: School of Engineering

This 18-months appointment forms part of the project “Hardware-Level AI Safety Verification”, funded by the Advanced Research + Invention Agency (ARIA) in partnership with the University of Manchester and the University of Birmingham. The project belongs to the Mathematics for Safe AI funding stream, which aims at assessing how we can leverage mathematics – from scientific world-models to mathematical proofs – to ensure that powerful AI systems interact safely and as intended with real-world systems and populations.

The project “Hardware-Level AI Safety Verification” will address a fundamental semantic mismatch between the formal guarantees produced by neural network verification tools and the actual implementation of neural networks at the hardware level. Specifically, hardware-level effects such as quantisation and sampling are often ignored during the verification of AI models. Yet, they are pervasive phenomena in any engineering application where digital compute platforms interact with the physical world. Their impact on the behaviour of neural network controllers and other AI models acting in a physical environment is not well understood.

The project is a collaborative effort, with academics, post-docs and interns collaborating across universities to build better algorithms, software tools and benchmarks to assess the safety of AI implementations at the software and hardware level. We are recruiting an enthusiastic and collaborative post-doctoral research associate with expertise in formal methods, machine learning, control theory, numerical analysis, or a related discipline, with a strong focus on AI safety and neural network verification. The post holder is expected to work closely with the two principal academic investigators in Manchester and Birmingham.

The role will be based in the Department of Computer Science at the University of Manchester. The department is one of the oldest department of Computer Science in the United Kingdom, and hosts around 60 academic staff. The role will be associated with the Systems and Software Security research group, but interactions with other relevant research groups (Autonomy and Verification, Formal Methods, Machine Learning and Robotics) are expected.

What we offer:

  • Opportunity to work on a cutting-edge project with real-world impact
  • Collaboration with leading international experts in AI verification
  • Potential for publication and intellectual property development
  • Fantastic market leading pension scheme
  • Excellent employee health and wellbeing services
  • Exceptional starting annual leave entitlement, plus bank holidays
  • Additional paid closure over the Christmas period
  • Local and national discounts at a range of major retailers

As an equal-opportunities employer we support an inclusive working environment and welcome applicants from all sections of the community regardless of age, disability, ethnicity, gender, gender expression, religion or belief, sex, sexual orientation and transgender status. All appointments are made on merit.

Our University is positive about flexible working – you can find out more here

Blended working arrangements may be considered

Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies.

Enquiries about the vacancy, shortlisting and interviews:

Name: Dr. Edoardo Manino, Lecturer in AI Security

Email: edoardo.manino@manchester.ac.uk

General enquiries:

Email: People.Recruitment@manchester.ac.uk

Technical support:

Jobtrain: 0161 850 2004 jobseekersupport.jobtrain.co.uk/support/home

This vacancy will close for applications at midnight on the closing date.

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

Job tools
 

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Ok Ok

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Manage your job alerts Manage your job alerts

Account Verification Missing

In order to create multiple job alerts, you must first verify your email address to complete your account creation

Request verification email Request verification email

jobs.ac.uk Account Required

In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account

Create Account Create Account

Alert Creation Failed

Unfortunately, your account is currently blocked. Please login to unblock your account.

Email Address Blocked

We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.

Max Alerts Reached

A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert

Manage your job alerts Manage your job alerts

Creation Failed

Unfortunately, your alert was not created at this time. Please try again.

Ok Ok

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

 
 
More jobs from The University of Manchester

Show all jobs for this employer …

More jobs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge