Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Field
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
seeks to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek
-
, ranks among the top 20 universities worldwide and offers an exceptional working environment with very competitive salaries. The IMOS Lab (https://www.epfl.ch/labs/imos/ ) offers a highly motivating
-
central role in turning verified research prototypes into a production-grade, high-performance inference engine. Prior experience with formal verification is welcome but not required: a strong systems