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
#J-18808-Ljbffr
Postdoc: Lead Certified Safe RL & Formal Methods employer: SONICOM
Imperial College London is an exceptional employer, offering a dynamic work environment that fosters collaboration and innovation within its International Relations Office. Employees benefit from a strong commitment to professional development, flexible working arrangements, and the opportunity to engage with diverse global stakeholders, making it a rewarding place to contribute to impactful international initiatives.
