Postdoc: Networked Systems & Language Design (Funded Travel)

EPFL; Lausanne; Vor Ort; CHF 110.000 - 140.000; Vollzeit

Benefits dieser Stelle

International working environment

Excellent working conditions

Travel funding for conferences

Zusammenfassung

EPFL's Networked Systems Abstractions Lab (LASeR) in Lausanne seeks outstanding candidates for a postdoctoral position in programming languages, formal methods, and/or networking. The role focuses on NetKAT extensions, symbolic automata, routing algebras, and AI-based cybersecurity, with collaboration across academic and industrial partners.

The position involves research design, implementation, and open-source tool development, plus supervision of PhD and master students, in a dynamic,

Qualifikationen

• PhD (or nearing completion) in computer science or closely related field.
• Background in programming languages, formal methods, and/or networking.
• Strong publication record in internationally leading venues.
• Excellent written and oral communication in English.

Aufgaben

• Conduct research on network abstractions, language design, implementation and verification.
• Build a strong network with programming languages, verification and networking communities.
• Contribute to design, implementation and open-source release of lab tools and artefacts.
• Supervise PhD and master students.

Kenntnisse

OCaml

Rust

C/C++

Python

Research

Ausbildung

PhD in Computer Science

Tools

Formal methods

Jobbeschreibung

EPFL's Networked Systems Abstractions Lab (LASeR) in Lausanne seeks outstanding candidates for a postdoctoral position in programming languages, formal methods, and/or networking. The role focuses on NetKAT extensions, symbolic automata, routing algebras, and AI-based cybersecurity, with collaboration across academic and industrial partners.

The position involves research design, implementation, and open-source tool development, plus supervision of PhD and master students, in a dynamic,