EL

Postdoc: Networked Systems Abstractions Lab (LASeR)

EPFL – École polytechnique fédérale de Lausanne•Technology
LausanneVollzeitVor Ortvor 2 Wochen

Muslimfreundliche Arbeitsplatz-Merkmale

  • Gebetsraum
gefüllt = im Anzeigentext genanntumrandet = Angabe auf der Website des Arbeitgebers

Merkmale sind Hinweise aus der Stellenanzeige, keine bestätigten Zusagen. Arbeitgeber-Angaben stammen von der Website des Arbeitgebers, nicht aus dieser Anzeige.

Ich bin interessiertPer WhatsApp teilen
Kostenlos registrieren – das bringt dir ein Konto
  • Alle 1.200+ belegten muslimfreundlichen Stellen durchblättern
  • Beleg-Details sehen: Zitat und Quelle zu jedem Merkmal
  • Jobs merken und Bewerbungen verfolgen
  • Persönliche Empfehlungen nach deinen Werten
Jetzt kostenlos registrieren

🔔 Neue Jobs wie dieser — direkt in dein Postfach

Kein Account nötig. Maximal eine E-Mail pro Woche, Abmeldung jederzeit.

Mit dem Absenden stimmst du zu, E-Mails zu passenden Jobs von SalamJobs zu erhalten. Abmeldung jederzeit möglich.

💬 Oder lass Rafik suchen — dein kostenloser Karriereberater →

📄Stellenbeschreibung

Mission

The EPFL Networked Systems Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems.

Networks are the invisible infrastructure that connects the modern world, yet programming and reasoning about them remains surprisingly difficult.

Our research addresses this challenge in the following domains:

Designing expressive languages for specifying network behavior
Developing verification techniques for establishing correctness with respect to formal specifications
Engineering efficient implementations that make high-level abstractions practical

We seek outstanding candidates working in programming languages, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity.

Main duties and responsibilities

Conducting research on network abstractions, spanning language design, implementation, and verification. The precise focus will be discussed with the successful candidate depending on their background, expertise and affinities. Possible directions include:
Design and semantics of network programming languages in the NetKAT family, including quantitative and probabilistic extensions, and scalable verification via symbolic automata and related decision procedures
Routing algebras: composable, algebraic representations of distributed routing protocols, as a principled basis for the compilation and verification of protocols such as BGP
Formal abstractions for packet scheduling: expressive specifications of scheduling policies, and compilation to programmable hardware with provable guarantees
AI-based cybersecurity: applying learning and AI-assisted techniques to network security, e.g., automata learning from security logs, validation of protocol models, and verified defensive controllers
Build a strong network in the programming languages, verification, and networking communities, including collaboration with the lab’s academic and industrial partners
Contribute to the design, implementation, and open-source release of the lab’s tools and artefacts
Participate in the supervision of PhD and master students

Profile

PhD (or nearing completion of) in computer science or a closely related field
Background in programming languages, formal methods, or networking
Research experience in one or more of: language design and semantics, automata theory and decision procedures, interactive or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security
Strong computational and analytical skills, including solid software engineering ability (e.g., OCaml, Rust, C/C++, Python, or other functional languages)
Strong publication record (relative to your career stage) in internationally leading venues (e.g., POPL, PLDI, ICFP, OOPSLA, CAV, SIGCOMM, NSDI)
Independent, creative, and solution-oriented
Excellent written and oral communication skills in English
Strong motivation to explore new research domains
Good team spirit and enthusiasm for working in a collaborative, international lab

We offer

A stimulating and international working environment
Excellent working conditions
Opportunity to perform state-of-the-art research in one of the most dynamic scientific institutions in Europe
Opportunity to interact with internationally renowned experts in programming languages, verification, and systems at EPFL, and with the lab’s academic and industrial collaborators
Funded travel for conferences and research collaborations

Informations

Only applications submitted through the online platform are considered. You are asked to supply:

A brief cover letter (pdf, up to 2 pages).

And in one PDF:

A CV with a publication list.
A research statement (pdf, up to 3 pages).
Contact details for 3 referees.

For any further information, please contact: Nate Foster (nate.foster@epfl.ch) - https://laser.epfl.ch/

Contract Start Date: 01.12.2026, or to be determined

Activity Rate: 100.00

Contract Type: CDD

Duration: 1 year, renewable

Reference: 2464

Job-Übersicht

Veröffentlicht
22. September 2026
Standort
Lausanne
Beschäftigungsart
Vollzeit
Arbeitsmodell
Vor Ort

Unternehmen

EL

EPFL – École polytechnique fédérale de Lausanne

Lausanne
Angabe auf der Website des Arbeitgebers

Interspiritueller Raum (Géode) der Aumônerie auf dem Campus, ausdrücklich zum Beten und allen offen — nicht muslimspezifisch, Beschäftigte nicht genannt

Beleg hinterlegt — Zitat und Quelle siehst du mit kostenlosem Konto.

Kostenlos anmelden und Beleg ansehen

Selbstauskunft des Arbeitgebers, keine Zusage für diese Stelle — sprich es im Gespräch an.

Unternehmensprofil ansehen
Quelle

Diese Stellenanzeige stammt direkt von der Karriereseite des Arbeitgebers und wird dort gehostet.

Originalanzeige ansehen
Ich bin interessiert