Auf einen Blick
- Aufgaben: Forschung in Programmiersprachen und Netzwerken vorantreiben und innovative Lösungen entwickeln.
- Unternehmen: EPFL in Lausanne, führende Forschungsinstitution mit dynamischem Umfeld.
- Vorteile: Wettbewerbsfähiges Gehalt, Zugang zu modernster Technologie und internationale Zusammenarbeit.
- Weitere Informationen: Exzellente Karrierechancen und ein kreatives Team von Experten.
- Warum dieser Job: Gestalte die Zukunft der Netzwerksysteme und arbeite an bahnbrechenden Projekten.
- Qualifikationen: PhD oder kurz vor Abschluss in Informatik, starke Publikationshistorie und Programmierkenntnisse.
Das prognostizierte Gehalt liegt zwischen 81000 - 99000 CHF pro Jahr.
EPFL in Lausanne invites applications for a Postdoc in the Networked Systems Abstractions Lab (LASe R).
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 Ph D (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
Die EPFL ist ein hervorragender Arbeitgeber, der eine dynamische und multikulturelle Arbeitsumgebung bietet, in der über 18'500 Menschen zusammenarbeiten. Als Teil des AGORA Cancer Research Centers in Lausanne haben Mitarbeitende die Möglichkeit, an spannenden und bedeutenden Projekten im Bereich der Krebsforschung mitzuwirken und sich kontinuierlich weiterzuentwickeln. Die EPFL fördert eine offene Kommunikation und bietet attraktive Arbeitsbedingungen, die es den Mitarbeitenden ermöglichen, ihre Fähigkeiten in einem internationalen Umfeld zu entfalten.
Kontaktdaten:
École polytechnique fédérale de Lausanne, EPFL Recruiting-Team
