-
We 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
-
The purpose of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods. Modern AI inference systems combine complex software
-
A*STAR Research Entities and Imperial Global Singapore , Imperial College London ’s formal research and innovation entity in Singapore are seeking (Senior) Research Fellows to join the exciting new
-
INNOVATION SINGAPORE LTD. Imperial Global Singapore , Imperial College London’s formal research and innovation entity in Singapore, is seeking an experienced senior postdoctoral research fellow for the NH3