Postdoc: Networked Systems Abstractions Lab (LASeR)

École polytechnique fédérale de Lausanne, EPFL; Lausanne; Vor Ort; CHF 80.000 - 110.000; Vollzeit

Benefits dieser Stelle

International collaboration

Conference travel support

Excellent working conditions

Zusammenfassung

EPFL in Lausanne invites applications for a Postdoc in the Networked Systems Abstractions Lab (LASeR). You will advance research in programming languages, formal methods, and networking, with opportunities to design language features, verify properties, and build verified implementations.

The candidate holds a PhD (or near completion) in CS or a closely related field and has strong publication records, solid programming skills (OCaml, Rust, C/C++, Python), and excellent communication in English.

Qualifikationen

• PhD (or nearing completion) in computer science or a closely related field.
• Background in programming languages, formal methods, or networking.
• Strong publication record in internationally leading venues.

Aufgaben

• Conduct research on network abstractions, including language design, implementation and verification.
• Explore directions such as NetKAT, routing algebras, and AI-based cybersecurity.
• Build collaborations with academic and industrial partners.
• Contribute to design, implementation and open‑source release of lab tools and artefacts.
• Supervise PhD and master students.

Kenntnisse

Programming languages

Publications

English communication

Analytical skills

Software engineering

Ausbildung

PhD in computer science or related field

Tools

OCaml

Rust

C/C++

Python

Jobbeschreibung

Select how often (in days) to receive an alert:

EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment at the heart of a community of more than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries.

Postdoc: Networked Systems Abstractions Lab (LASeR)

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

Contract Start Date : 01.12.2026, or to be determined