Sort by
Refine Your Search
-
Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and
-
, 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
-
field Background in formal verification, programming languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU
-
mathematics, computational neuroscience, robotics, physics or a closely related field; Strong publication record in relevant venues; Solid programming skills in Python and a modern deep-learning framework