Postdoc: Lead Certified Safe RL & Formal Methods

Imperial College London invites applications for a fully funded Postdoctoral Research Associate position in the Formal Methods in AI (FMAI) lab, led by Dr. Francesco Belardinelli.

The role focuses on Safe Reinforcement Learning, certification via Proof Certificates, and monitoring/shielding of cyber-physical systems. The ARIA project aims to create Certified Reinforcement Learning within the MASA-Safe-RL framework, with a goal of advancing safe, verifiable AI for real-world systems and