Research Associate - Formal Methods for Autonomous Robotics

University of Manchester

  • Manchester
  • £41,064-44,746 per year
  • Contract
  • Full-time
  • 21 days ago
Job reference: SAE-029303
Salary: £41,064 to £44,746 per annum, dependent 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 (1 FTE)
Closing date (DD/MM/YYYY): 30/09/2025
Contract Duration: 36 months
School/Directorate: School of EngineeringThis position is for research within CRADLE, the Centre for Robotic Autonomy in Demanding and Long-lasting Environments, a partnership between Amentum, the University of Manchester's Centre for Robotics and AI, and the UKRI. CRADLE involves providing project-wide flexible, generic, verifiable architectures supporting practical development and deployment of trustworthy autonomous robotics.We are looking for a strong researcher able to conduct research around formal methods for autonomous robotic systems, with a background of excellent research outputs across formal requirements and formal verification, of autonomous robots and human-robot teams, particularly concerning safety, ethics, privacy, self-awareness, or security issues.CRADLE aims to develop a body of cross-cutting techniques applicable across the field of Robotics, and we are therefore seeking candidates who show a willingness and aptitude for collaborating closely with the wider research team which includes Assurance, Robotics and Human-Robot Interaction researchers as well as professional Engineers from Amentum.The successful candidate will contribute to the wider joint research programme tackling these interrelated challenges and will undertake research in the Autonomy and Verification Network.CRADLECentre for Robotics and AIAmentumUK Research and InnovationAutonomy and Verification networkWhat you will get in return:
  • Fantastic market leading Pension scheme
  • Excellent employee health and wellbeing services including an Employee Assistance Programme
  • 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 moreHybrid working arrangements may be considered.Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies.Any CV's submitted by a recruitment agency will be considered a gift.Enquiries about the vacancy, shortlisting and interviews:Name: Prof. Michael Fisher / Dr. Louise DennisEmail: /General enquiries:Email:Technical support:This vacancy will close for applications at midnight on the closing date.£41,064 to £44,746 per annum, dependent on relevant experience

Jobs.ac.uk