2 engineering-"https:"-"https:"-"https:"-"https:"-"https:" "Imperial College London" positions at EPFL
Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
verification, and AI-assisted proof engineering. The position is part of an ARIA-funded collaboration between EPFL and Imperial College London whose goal is to build a formally-verified ML inference
-
project, an ARIA-funded collaboration between EPFL and Imperial College London, aims to build a formally-verified ML inference engine, demonstrating that AI can help make verified systems competitive
Enter an email to receive alerts for engineering-"https:"-"https:"-"https:"-"https:"-"https:" "Imperial College London" positions