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 reasoning
-
languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU programming or semantics, compilers, concurrency, or ML systems (e.g
-
languages Knowledge of one or more of the following, with strong motivation to grow in the others: GPU programming (CUDA, Triton, PTX) or high-performance computing ML inference or serving systems (vLLM
-
Teaching Program Coordinator to manage the operational backbone of their teaching portfolios. You will be the central point of coordination across three courses: CS-552 Modern Natural Language Processing CS
-
Positions Application Deadline 15 Oct 2026 - 15:55 (Africa/Abidjan) Country Switzerland Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Program Director - Genome of Switzerland (GoS) Mission The Program Director / Scientific
-
is responsible for the design, implementation, operation and continuous improvement of the technical infrastructure supporting the Genome of Switzerland programme. The position ensures the efficient
-
-ended research questions You communicate well in English and enjoy working at the boundary between disciplines We offer At EPFL, we believe that people achieve great results when they feel supported
-
and physical). Organization of meetings, seminars, visits, and travel (logistics, accommodations, visas). Correspondence and agenda management in French, English, and German; minute-taking. Profile
-
the strategic plan for the launch of MCAS, intially focused on the EPFL Valais Wallis site, including its mission, governance structure, access model, service portfolio, and operating model. Design a financial