EPFL invites applications for a Postdoc on the Keystone Project (Machine-Verified LLM Inference) in Lausanne. You will contribute to formally verified AI systems, work with Rocq/Lean, and collaborate across an ARIA-funded program with Imperial College London. Strong publication record and independence are expected.
The role offers international collaboration, access to frontier AI models and high-performance compute, and travel between Lausanne and London for joint work and conferences.
#J-18808-Ljbffr
Postdoc: Formal Verification for ML Inference Engines in Lausanne Arbeitgeber: École polytechnique fédérale de Lausanne, EPFL
Das Labor des Schweizerischen Instituts für experimentelle Krebsforschung am AGORA Cancer Research Center in Lausanne bietet eine dynamische und unterstützende Arbeitsumgebung, die auf Zusammenarbeit und Innovation ausgerichtet ist. Mitarbeiter profitieren von umfangreichen Weiterbildungsmöglichkeiten und einem starken Fokus auf persönliche und berufliche Entwicklung, während sie an bedeutenden Projekten im Bereich der Tumorimmunologie und Krebsforschung mitwirken. Die Lage in Lausanne ermöglicht zudem eine hohe Lebensqualität und Zugang zu einer lebendigen wissenschaftlichen Gemeinschaft.
Kontaktdaten:
École polytechnique fédérale de Lausanne, EPFL Recruiting-Team
