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: Werde Teil eines kreativen, internationalen Teams mit hervorragenden Karrieremöglichkeiten.
- 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 81000 - 99000 CHF pro Jahr.
EPFL, die Eidgenössische Technische Hochschule 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 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 Masterstudierenden
Profil:
- Doktorat (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 Beweisführung, 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) 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.
