-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
., vLLM, SGLang, or similar inference engines) Strong computational and analytical skills, including solid software engineering ability across multiple languages (e.g., Python, C++, OCaml, functional
-
the earth sciences. NCCR Genesis does not aim to provide answers in all fields, but to drive innovative research and achieve decisive progress. Details on NCCR Genesis are available on its website https
-
can be found on our website (https://www.epfl.ch/campus/services/human-resources/en/basic-starting-salary-of-doctoral-assistants-and-postdocs/) Opportunity to perform state-of-the-art research in one