Postdoc: Networked Systems Abstractions Lab (LASeR) — EPFL
- Lieu
- Lausanne
- Contrat
- full-time
- Publié
- Hier
Vue d’ensemble du poste
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és principales
- 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
Processus de candidature
- 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
Détails supplémentaires
- 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 et contenu original
- 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 sur cette offre
Quel salaire propose EPFL pour ce poste ?
EPFL indique CHF 60 500 - 91 500 bruts par an pour ce poste à Lausanne. Il s'agit du salaire publié dans l'annonce d'origine (ou, si l'employeur ne précise pas de montant, d'une estimation réaliste pour le rôle et le secteur) — le calculateur de ce site le convertit en net réel une fois l'impôt frontalier et les cotisations sociales appliqués.
Est-ce un poste à temps plein, et quel type de contrat propose EPFL ?
Cette offre est un poste en temps plein. Le type de contrat affiché ici provient directement de l'annonce originale de l'employeur ; confirmez toujours les horaires exacts, le préavis et la durée d'essai avec EPFL pendant le processus de candidature, ces détails pouvant varier même au sein de la même catégorie de contrat.
Ai-je besoin d'un permis de frontalier pour un poste dans le canton de Vaud ?
Les résidents UE/AELE domiciliés dans la zone frontalière du pays voisin du canton de Vaud peuvent demander un permis G ; l'employeur suisse le dépose auprès de l'office cantonal des migrations après signature du contrat. Les règles de zone frontalière et les délais varient selon le pays voisin et le canton — confirmez les détails auprès de l'office des migrations du canton de Vaud ou avec les RH pendant la candidature.
Comment postuler à ce poste chez EPFL ?
Utilisez le bouton « Postuler maintenant » sur cette page — il renvoie directement à l'annonce originale de EPFL sur careers.epfl.ch, votre candidature arrive donc directement dans le système de suivi des candidatures de l'employeur. Frontaliere Ticino ne collecte ni ne transmet lui-même les candidatures.
