Postdoc: Networked Systems Abstractions Lab (LASeR) — EPFL

Vollständige Beschreibung

Mission

Das EPFL Networked Systems Abstractions Lab (LASeR) entwickelt Programmiersprachen und formale Argumentationswerkzeuge für vernetzte Systeme. Netzwerke sind die unsichtbare Infrastruktur, die die moderne Welt verbindet, aber Programmierung und Argumentation über sie sind überraschend schwierig. Unsere Forschung adressiert diese Herausforderung in den folgenden Bereichen:

• Design expressiver Sprachen zur Spezifizierung des Netzwerkverhaltens
• Entwicklung von Verifikationstechniken zur Feststellung der Richtigkeit in Bezug auf formale Spezifikationen
• Engineering effiziente Implementierungen, die High-Level-Abstraktionen praktisch machen

Wir suchen herausragende Kandidaten, die in Programmiersprachen, formalen Methoden und / oder Netzwerken mit Interessen in einem oder mehreren der folgenden Bereiche arbeiten: NetKAT und seine Erweiterungen, symbolische Automaten, Routing-Algebren, Paketplanung und KI-basierte Cybersicherheit.

Hauptaufgaben und Zuständigkeiten

• Durchführung von Recherchen zu Netzwerkabstraktionen, die Sprachdesign, Implementierung und Verifizierung umfassen. Der genaue Fokus wird mit dem erfolgreichen Kandidaten je nach Hintergrund, Fachwissen und Affinitäten besprochen. Mögliche Richtungen sind:
• Design und Semantik von Netzwerk-Programmiersprachen in der NetKAT-Familie, einschließlich quantitativer und probabilistischer Erweiterungen und skalierbarer Verifizierung über symbolische Automaten und damit verbundene Entscheidungsverfahren
• Routing-Algebren: zusammensetzbare, algebraische Darstellungen von verteilten Routing-Protokollen, als Hauptbasis für die Zusammenstellung und Verifizierung von Protokollen wie BGP
• Formale Abstraktionen für die Paketplanung: ausdrucksstarke Spezifikationen von Zeitplanrichtlinien und Zusammenstellung zu programmierbarer Hardware mit nachweisbaren Garantien
• KI-basierte Cybersicherheit: Anwendung von Lern- und KI-gestützten Techniken für die Netzwerksicherheit, z. B. automatisches Lernen aus Sicherheitsprotokollen, Validierung von Protokollmodellen und verifizierte defensive Controller
• Aufbau eines starken Netzwerks in den Programmiersprachen, Verifizierungs- und Netzwerkgemeinschaften, einschließlich der Zusammenarbeit mit den akademischen und industriellen Partnern der Labore
• Beitrag zur Gestaltung, Implementierung und Open-Source-Veröffentlichung der Labs Tools und Artefakte
• Teilnahme an der Betreuung von Doktoranden und Masterstudierenden

Profil

• PhD (oder kurz vor dem Abschluss) in der Informatik oder einem geschlossenen verwandten Bereich
• Hintergrund in Programmiersprachen, formalen Methoden oder Networking
• Forschungserfahrung in einem oder mehreren von: Sprachdesign und Semantik, Automatentheorie und Entscheidungsverfahren, interaktives oder automatisiertes Theoremangebot, Netzwerküberprüfung, Routing-Protokolle, Paketplanung oder Anwendungen von AI / ML für Systeme und Sicherheit
• Starke Rechen- und Analysefähigkeiten, einschließlich solider Software-Engineering-Fähigkeiten (z. B. OCaml, Rust, C / C ++, Python oder andere funktionale Sprachen)
• Starke Publikationsbilanz (relativ zu Ihrem Berufspraktikum) bei international führenden Ankömmlingen (z.B. POPL, PLDI, ICFP, OOPSLA, CAV, SIGCOMM, NSDI)
• Unabhängig, kreativ und lösungsorientiert
• Hervorragende Schreib- und mündliche Kommunikationsfähigkeiten in Englisch
• Starke Motivation, neue Forschungsgebiete zu erkunden
• Guter Teamgeist und Begeisterung für die Arbeit in einem kollaborativen, internationalen Labor

Wir bieten

• Ein anregendes und internationales Arbeitsumfeld
• Ausgezeichnete Arbeitsbedingungen
• Möglichkeit, modernste Forschung in einer der dynamischsten wissenschaftlichen Einrichtungen Europas durchzuführen
• Gelegenheit zur Interaktion mit international anerkannten Experten für Programmiersprachen, Verifikation und Systeme an der EPFL sowie mit den akademischen und industriellen Mitarbeitern der Labore
• Geförderte Reisen für Konferenzen und Forschungskooperationen

Information

Nur über die Online-Plattform eingereichte Bewerbungen werden berücksichtigt. Sie werden gebeten, Folgendes zu liefern:

• Ein kurzes Anschreiben (pdf, bis zu 2 Seiten).

Und in einem PDF

• Ein Lebenslauf mit einer Publikationsliste.
• Eine Forschungserklärung (pdf, bis zu 3 Seiten).
• Kontaktdaten für 3 Referenzen.

Für jede Furch

Fragen zu dieser Stellenanzeige