Auf einen Blick
- Aufgaben: Führe Forschung zu Netzwerkabstraktionen durch und entwickle innovative Programmiersprachen.
- Unternehmen: EPFL, eine der dynamischsten Universitäten Europas mit internationalem Flair.
- Vorteile: Exzellente Arbeitsbedingungen, internationale Zusammenarbeit und Reiseförderung für Konferenzen.
- Weitere Informationen: Starke Publikationshistorie und Begeisterung für neue Forschungsgebiete sind erwünscht.
- Warum dieser Job: Arbeite an bahnbrechender Forschung in einem kreativen, internationalen Team.
- Qualifikationen: Doktorat in Informatik oder verwandtem Bereich, Erfahrung in Programmiersprachen oder Netzwerken.
Das prognostizierte Gehalt liegt zwischen 81000 - 99000 CHF pro Jahr.
EPFL, das Schweizerische Bundesinstitut für Technologie in Lausanne, ist einer der dynamischsten Universitätsstandorte in Europa und gehört zu den 20 besten Universitäten weltweit. Die EPFL beschäftigt mehr als 6.500 Personen, die die drei Hauptmissionen der Institutionen unterstützen: Bildung, Forschung und Innovation. Der EPFL-Campus bietet ein außergewöhnliches Arbeitsumfeld im Herzen einer Gemeinschaft von mehr als 18.500 Menschen, darunter über 14.000 Studierende und 4.000 Forscher aus mehr als 120 verschiedenen Ländern.
Die Mission des Networked Systems Abstractions Lab (LASeR) an der EPFL besteht darin, Programmiersprachen und formale Beweismittel für vernetzte Systeme zu entwickeln. Netzwerke sind die unsichtbare Infrastruktur, die die moderne Welt verbindet, doch das Programmieren und das Nachdenken darüber bleibt überraschend schwierig. Unsere Forschung befasst sich mit dieser Herausforderung in folgenden Bereichen:
- Entwicklung ausdrucksstarker Sprachen zur Spezifizierung des Netzwerkverhaltens
- Entwicklung von Verifikationstechniken zur Feststellung der Korrektheit im Hinblick auf formale Spezifikationen
- Ingenieurmäßige Umsetzung effizienter Implementierungen, die hochrangige Abstraktionen praktikabel machen
Wir suchen herausragende Kandidaten, die in den Bereichen Programmiersprachen, formale Methoden und/oder Netzwerke arbeiten, mit Interessen in einem oder mehreren der folgenden Bereiche:
- NetKAT und seine Erweiterungen
- symbolische Automaten
- Routing-Algebren
- Paketplanung
- KI-basierte Cybersicherheit
Hauptaufgaben und Verantwortlichkeiten:
- Durchführung von Forschungen zu Netzwerkabstraktionen, einschließlich Sprachdesign, Implementierung und Verifikation. Der genaue Fokus wird mit dem erfolgreichen Kandidaten je nach Hintergrund, Fachwissen und Vorlieben besprochen.
- Mögliche Richtungen umfassen:
- Design und Semantik von Netzwerkprogrammiersprachen in der NetKAT-Familie, einschließlich quantitativer und probabilistischer Erweiterungen sowie skalierbarer Verifikation über symbolische Automaten und verwandte Entscheidungsverfahren
- Routing-Algebren: kompositionale, algebraische Darstellungen verteilter Routing-Protokolle als fundierte Basis für die Kompilierung und Verifikation von Protokollen wie BGP
- Formale Abstraktionen für die Paketplanung: ausdrucksstarke Spezifikationen von Planungsrichtlinien und Kompilierung auf programmierbare Hardware mit nachweisbaren Garantien
- KI-basierte Cybersicherheit: Anwendung von Lern- und KI-unterstützten Techniken zur Netzwerksicherheit, z.B. Automata-Lernen aus Sicherheitsprotokollen, Validierung von Protokollmodellen und verifizierte defensive Controller
- Aufbau eines starken Netzwerks in den Gemeinschaften der Programmiersprachen, Verifikation und Netzwerke, einschließlich Zusammenarbeit mit den akademischen und industriellen Partnern des Labors
- Beitrag zum Design, zur Implementierung und zur Open-Source-Veröffentlichung der Werkzeuge und Artefakte des Labors
- Teilnahme an der Betreuung von Doktoranden und Masterstudierenden
Profil:
- PhD (oder kurz vor dem Abschluss) in Informatik oder einem eng verwandten Bereich
- Hintergrund in Programmiersprachen, formalen Methoden oder Netzwerken
- Forschungserfahrung in einem oder mehreren der folgenden Bereiche: Sprachdesign und Semantik, Automatentheorie und Entscheidungsverfahren, interaktive oder automatisierte Theorembeweise, Netzwerkverifikation, Routing-Protokolle, Paketplanung oder Anwendungen von KI/ML in Systemen und Sicherheit
- Starke rechnerische und analytische Fähigkeiten, einschließlich solider Software-Engineering-Fähigkeiten (z.B. OCaml, Rust, C/C++, Python oder andere funktionale Sprachen)
- Starke Publikationsbilanz (relativ zu Ihrem Karrierelevel) in international führenden Fachzeitschriften (z.B. POPL, PLDI, ICFP, OOPSLA, CAV, SIGCOMM, NSDI)
- Unabhängig, kreativ und lösungsorientiert
- Exzellente schriftliche und mündliche Kommunikationsfähigkeiten in Englisch
- Starke Motivation, neue Forschungsbereiche zu erkunden
- Guter Teamgeist und Begeisterung für die Arbeit in einem kollaborativen, internationalen Labor
Wir bieten:
- Ein stimulierendes und internationales Arbeitsumfeld
- Exzellente Arbeitsbedingungen
- Die Möglichkeit, Spitzenforschung in einer der dynamischsten wissenschaftlichen Institutionen Europas durchzuführen
- Die Möglichkeit, mit international anerkannten Experten in Programmiersprachen, Verifikation und Systemen an der EPFL sowie mit den akademischen und industriellen Partnern des Labors zu interagieren
- Finanzierte Reisen zu Konferenzen und Forschungskooperationen
Vertragsbeginn: , oder wird noch festgelegt
Postdoc: Networked Systems Abstractions Lab (LASeR) 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
