About the roleWe are looking for motivated individuals to Join the Formal Methods in AI (FMAI) lab at Imperial College London, led by Dr. Francesco Belardinelli, in a fully funded postdoctoral research role to lead transformative research in formal methods for safe reinforcement learning. The FMAI lab at Imperial is seeking highly motivated and talented Postdoctoral Research Associates (PDRAs/PostDocs), who have demonstrated competence in conducting cutting-edge research. Francesco Belardinelli's ARIA project Enforcing Safety in Cyber-Physical Systems via Proof Certificates, and focus on the design, development, and application of Safe RL algorithms as well as their verification via Proof Certificates, including monitoring and shielding of cyber-physical systems. Failures pose severe economic risks, even cost human lives. To address this gap, this project aims at developing Certified Reinforcement Learning, a neuro-symbolic framework for learning safe controllers in real-world cyber-physical systems that leverages the scalability and adaptability of RL, while providing the formal, verifiable guaranties associated with Formal Methods. The proposed methodology will be implemented in the MASA-Safe-RL library– an open-source platform for Safe RL currently being developed at the FMAI lab. What you would be doingWithin the project, you will conduct original research in the new and exciting field of Formal Methods for Safe RL and explore its applications across cyber-physical systems. In doing so, you will collaborate with a team of expert researchers in reinforcement learning, formal methods, strategy synthesis, multi-agent systems, and related fields. The applicant is also expected to have a strong track record in top conferences and journals in the field of Formal Methods/Reinforcement Learning, such as AAAI, AAMAS, IJCAI, NeurIPS, ICML, ICLR etc. We expect excellent skills in mathematics, especially knowledge in formal methods, stochastic systems and processes, the foundations of deep learning. Experience coding with deep learning libraries such as Pytorch/JAX is essential. Applicants must hold a PhD in computer science, mathematics or equivalent experience. What we can offer youThe opportunity to continue your career at a world-leading institution and be part of our mission to continue science for humanity. Grow your career: gain access to Imperial's sector-leading dedicated career support for researchers as well as opportunities for promotion and progression. Sector-leading salary and remuneration package (including 41 days off a year and generous pension schemes). Be part of a diverse, inclusive and collaborative work culture with various staff networks and resources to support your personal and professional wellbeing. Further informationFull-time, Fixed term contract to start as soon as possible up to 31st May 2028.*Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range 45,399 - 48,876 per annum. In addition to completing the online application candidates should attach: A full CV with a list of all publications A 1-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant.
Postdoctoral Research Associate in Mathematics in London employer: Imperial College London
Imperial College London is an exceptional employer, offering a vibrant work culture that fosters collaboration and innovation within the International Relations Office. Employees benefit from professional growth opportunities, a commitment to diversity, and the chance to engage in meaningful projects that have a global impact, all set in the heart of one of the world's leading academic institutions.
