Postdoctoral Research Associate in Formal Methods for Autonomous Robotics

This 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.CRADLE

https://cradlerobotics.co.ukCentre for Robotics and AI

https://www.robotics.manchester.ac.ukAmentum

https://www.amentum.comUK Research and Innovation

https://www.ukri.orgAutonomy and Verification network

https://autonomy-and-verification.github.ioWhat you will get in return:Fantastic market leading Pension schemeExcellent employee health and wellbeing services including an Employee Assistance ProgrammeExceptional starting annual leave entitlement, plus bank holidaysAdditional paid closure over the Christmas periodLocal and national discounts at a range of major retailersAs 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

hereHybrid 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: michael.fisher@manchester.ac.uk

/

louise.dennis@manchester.ac.ukGeneral enquiries:Email:

People.recruitment@manchester.ac.ukTechnical support:https://jobseekersupport.jobtrain.co.uk/support/homeThis vacancy will close for applications at midnight on the closing date.Please see the link below for the Further Particulars document which contains the person specification criteria.Please be aware that due to the number of applications we are unfortunately not able to provide individual feedback on your ..... full job details .....