"Research Associate - 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

Centre for Robotics and AI

Amentum

UK Research and Innovation

Autonomy and Verification network