around formal methods for autonomous robotic systems, with a background of excellent research outputs across formal requirements... development and deployment of trustworthy autonomous robotics. We are looking for a strong researcher able to conduct research...
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...