Postdoc — Networked Systems Abstractions & Verification

É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

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.