Postdoc: Networked Systems Abstractions Lab (LASeR) — EPFL
- Location
- Lausanne
- Contract
- full-time
- Posted
- Yesterday
Role overview
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.
- Mission
- The EPFL Networked Systems Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems.
- Main duties and responsibilities
- Conducting research on network abstractions, spanning language design, implementation, and verification.
Main responsibilities
- 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
Application process
- 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
Additional details
- details for 3 referees. For any furth
- The precise focus will be discussed with the successful candidate depending on their background, expertise and affinities. Possible directions include:
- Participate in the supervision of PhD and master students
- Good team spirit and enthusiasm for working in a collaborative, international lab A stimulating and international working environment Excellent working conditions
- Funded travel for conferences and research collaborations
- Only applications submitted through the online platform are considered. You are asked to supply: A brief cover letter (pdf, up to 2 pages). A CV with a publication list. A research statement (pdf, up to 3 pages).
- Contact details for 3 referees.
Notes and original content
- The precise focus will be discussed with the successful candidate depending on their background, expertise and affinities.
- Possible directions include:
- Good team spirit and enthusiasm for working in a collaborative, international lab
- A stimulating and international working environment
- Excellent working conditions
- 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:
Questions about this listing
What salary does EPFL offer for this role?
EPFL lists CHF 60'500 - 91'500 gross per year for this position in Lausanne. This is the salary published in the original listing (or, when the employer omits a figure, a realistic estimate for the role and sector) — the calculator on this site converts it to your actual net take-home once cross-border tax and social contributions are applied.
Is this a full-time role, and what type of contract does EPFL offer?
This listing is a full-time position. The contract type shown here comes directly from the employer's original posting; always confirm exact hours, notice period and probation length with EPFL during the application process, since these details can vary by role even within the same contract category.
Do I need a cross-border work permit for a role in Vaud?
EU/EFTA residents living in the border zone of the country adjoining Canton Vaud can apply for a G permit; the Swiss employer files it with that canton's migration office after the contract is signed. Border-zone rules and processing times vary by neighbouring country and canton, so confirm the specifics with Vaud's cantonal migration office or with HR during the application.
How do I apply for this position at EPFL?
Use the "Apply now" button on this page — it links directly to EPFL's original listing at careers.epfl.ch, so your application goes straight to the employer's own applicant-tracking system. Frontaliere Ticino does not collect or forward applications itself.
