Auf einen Blick
- Aufgaben: Führe Forschung zu Netzwerkabstraktionen durch und entwickle innovative Programmiersprachen.
- Unternehmen: EPFL Networked Systems Abstractions Lab (LASeR) - ein dynamisches Forschungsumfeld.
- Vorteile: Internationale Arbeitsumgebung, hervorragende Arbeitsbedingungen und Reisemöglichkeiten für Konferenzen.
- Weitere Informationen: Starke Publikationsbilanz und Teamgeist sind erwünscht.
- Warum dieser Job: Arbeite an bahnbrechenden Technologien und forme die Zukunft der Netzwerksysteme.
- Qualifikationen: Doktorat in Informatik oder verwandtem Bereich, Erfahrung in Programmiersprachen und Netzwerken.
Das prognostizierte Gehalt liegt zwischen 56700 - 69300 CHF pro Jahr.
Das EPFL Networked Systems Abstractions Lab (LASeR) entwickelt Programmiersprachen und formale Beweiswerkzeuge für vernetzte Systeme. 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 den 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 Programmiersprachen für Netzwerke 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 auf die Netzwerksicherheit, z.B. Automata-Lernen aus Sicherheitsprotokollen, Validierung von Protokollmodellen und verifiziertes Verteidigungssystem
- 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 Masterstudenten
Profil:
- Doktortitel (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 für Konferenzen und Forschungskooperationen
Für weitere Informationen kontaktieren Sie bitte: Nate Foster
Postdoc: Networked Systems Abstractions Lab (LASeR) in Lausanne Arbeitgeber: EPFL
Die EPFL ist ein herausragender Arbeitgeber, der eine dynamische und interdisziplinäre Arbeitsumgebung bietet, in der Innovation und Forschung im Mittelpunkt stehen. Mit über 6'500 Mitarbeitenden und einer internationalen Gemeinschaft von mehr als 17'000 Personen, darunter 12'500 Studierende und 4'000 Forschende, fördert die EPFL nicht nur die persönliche und berufliche Weiterentwicklung, sondern bietet auch die Möglichkeit, an wegweisenden Projekten wie dem Materials Centre for Advanced Separations (MCAS) mitzuarbeiten. Die einzigartige Lage in Lausanne und die enge Zusammenarbeit mit führenden Institutionen machen die EPFL zu einem attraktiven Arbeitsplatz für alle, die einen bedeutenden Beitrag zur Wissenschaft und Technologie leisten möchten.
