Postdoc: Networked Systems Abstractions Lab (LASeR) — EPFL
- Ort
- Lausanne
- Vertrag
- full-time
- Veröffentlicht
- Gestern
Rollenüberblick
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.
Hauptaufgaben
- 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
Bewerbungsprozess
- 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
Weitere 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.
Notizen und Originalinhalt
- 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:
Fragen zu dieser Stellenanzeige
Welches Gehalt bietet EPFL für diese Stelle?
EPFL gibt CHF 60'500 - 91'500 brutto pro Jahr für diese Position in Lausanne an. Dies ist das im Original-Inserat veröffentlichte Gehalt (oder, falls der Arbeitgeber keinen Betrag nennt, eine realistische Schätzung für Rolle und Branche) — der Rechner auf dieser Seite berechnet daraus Ihr tatsächliches Netto nach Grenzgänger-Steuer und Sozialabgaben.
Ist das eine Vollzeitstelle, und welchen Vertragstyp bietet EPFL?
Diese Stelle ist eine Vollzeit-Position. Der hier angezeigte Vertragstyp stammt direkt aus dem Original-Inserat des Arbeitgebers; klären Sie genaue Arbeitszeiten, Kündigungsfrist und Probezeit während des Bewerbungsprozesses mit EPFL, da diese Details auch innerhalb derselben Vertragskategorie variieren können.
Brauche ich eine Grenzgänger-Bewilligung für eine Stelle im Kanton Waadt?
EU/EFTA-Bürger mit Wohnsitz in der Grenzzone des an den Kanton Waadt angrenzenden Landes können eine G-Bewilligung beantragen; der Schweizer Arbeitgeber reicht sie nach Vertragsunterzeichnung beim Migrationsamt dieses Kantons ein. Grenzzonen-Regeln und Bearbeitungszeiten variieren je nach Nachbarland und Kanton — klären Sie die Details mit dem Migrationsamt des Kantons Waadt oder mit HR während der Bewerbung.
Wie bewerbe ich mich für diese Stelle bei EPFL?
Nutzen Sie die Schaltfläche "Jetzt bewerben" auf dieser Seite — sie führt direkt zum Original-Inserat von EPFL unter careers.epfl.ch, sodass Ihre Bewerbung direkt im Bewerbermanagementsystem des Arbeitgebers landet. Frontaliere Ticino sammelt oder leitet keine Bewerbungen selbst weiter.
