-
postdoc in our group, you will set up and lead this new research line, choosing its directions together with us. Possible starting points are the formalization in Lean of stability and error estimates
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
, memory safety, data race freedom, functional correctness) Implementing and verifying the inference coordination layer (batching, KV-cache management, scheduling) in Rocq/Lean, with extraction to executable
-
startup qualification, building awareness across EPFL, identifying promising founders and ventures, assessing their potential, and ensuring they receive the right support. This is a highly visible role at
-
, you will own the early-stage startup qualification, building awareness across EPFL, identifying promising founders and ventures, assessing their potential, and ensuring they receive the right support
-
When you visit any website, it may store or retrieve information on your browser, mostly in the form of cookies. Because we respect your right to privacy, you can choose not to allow some types of
-
build A flexible, hands-on role with genuine impact For the right person, a possible path to a founding technical role at REON The starting date is flexible and can be agreed upon with the selected
-
and services are developed and delivered. Link to other EPFL entities depending on the needs. Acquire a strong knowledge and understanding of EPFL ecosystem for helping companies to identify the right