Postdoc: Networked Systems Abstractions Lab (LASeR) — EPFL
- Località
- Lausanne
- Contratto
- full-time
- Pubblicato
- Ieri
Panoramica
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.
Responsabilità principali
- 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
Processo di candidatura
- 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
Dettagli ulteriori
- 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.
Note e contenuto originale
- 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:
Domande frequenti su questo annuncio
Che stipendio offre EPFL per questa posizione?
EPFL indica CHF 60'500 - 91'500 lordi annui per questo ruolo a Lausanne. Questo è lo stipendio pubblicato nell'annuncio originale (o, quando il datore non specifica una cifra, una stima realistica per ruolo e settore) — il calcolatore di questo sito lo converte nel netto reale una volta applicate imposta da frontaliere e contributi sociali.
È un ruolo a tempo pieno, e che tipo di contratto offre EPFL?
Questo annuncio è una posizione a tempo pieno. Il tipo di contratto mostrato qui arriva direttamente dall'annuncio originale del datore di lavoro; conferma sempre orario esatto, preavviso e durata del periodo di prova con EPFL durante il colloquio, perché questi dettagli possono variare anche all'interno della stessa categoria contrattuale.
Serve un permesso da frontaliere per un ruolo nel canton Vaud?
I residenti UE/AELS nella zona di frontiera del paese confinante con il canton Vaud possono richiedere il Permesso G; il datore di lavoro svizzero lo presenta all'ufficio della migrazione di quel canton dopo la firma del contratto. Regole sulla zona di frontiera e tempi di lavorazione variano per paese confinante e canton — verifica i dettagli con l'ufficio della migrazione del canton Vaud o con HR durante il colloquio.
Come mi candido a questa posizione presso EPFL?
Usa il pulsante "Candidati ora" in questa pagina — rimanda direttamente all'annuncio originale di EPFL su careers.epfl.ch, quindi la tua candidatura arriva direttamente nel sistema di gestione candidature del datore di lavoro. Frontaliere Ticino non raccoglie né inoltra candidature in proprio.
