EPFL in Lausanne invites applications for a Postdoc in the Networked Systems Abstractions Lab (LASeR). You will advance research in programming languages, formal methods, and networking, with opportunities to design language features, verify properties, and build verified implementations.
The candidate holds a PhD (or near completion) in CS or a closely related field and has strong publication records, solid programming skills (OCaml, Rust, C/C++, Python), and excellent communication in English.
#J-18808-Ljbffr
Postdoc — Networked Systems Abstractions & Verification 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
