2 software-formal-method-phd positions at Imperial College London

Research Assistant or Associate in Verified AI

Imperial College London | United Kingdom | 22 days ago

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

Research Fellow / Senior Research Fellow

Imperial College London | United Kingdom | about 1 month ago

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