Postdoc: Laboratorio di Astrazioni dei Sistemi in Rete (LASeR) — EPFL
- Località
- Lausanne
- Contratto
- full-time
- Pubblicato
- 3 giorni fa
Panoramica
Missione
L'EPFL Networked Systems Abstractions Lab (LASeR) sviluppa linguaggi di programmazione e strumenti di ragionamento formale per sistemi in rete.
Le reti sono l'infrastruttura invisibile che collega il mondo moderno, ma la programmazione e il ragionamento su di loro sono sorprendentemente difficili.
- Missione
- L'EPFL Networked Systems Abstractions Lab (LASeR) sviluppa linguaggi di programmazione e strumenti di ragionamento formale per sistemi in rete.
- Principali doveri e responsabilità
- Condurre la ricerca sulle astrazioni di rete, la progettazione della lingua, l'implementazione e la verifica.
- PhD (o quasi completamento) in informatica o in un campo relativo chiuso
- Background in linguaggi di programmazione, metodi formali o networking
Responsabilità principali
- Principali doveri e responsabilità
- Condurre la ricerca sulle astrazioni di rete, la progettazione della lingua, l'implementazione e la verifica.
- Il focus preciso sarà discusso con il candidato di successo a seconda del loro background, competenza e affinità. Le possibili indicazioni includono:
- Progettazione e semantica dei linguaggi di programmazione della rete nella famiglia NetKAT, comprese le estensioni quantitative e probabilistiche, e la verifica scalabile tramite automi simbolici e relative procedure decisionali
- Algebre di routing: rappresentazioni componibili e algebriche di protocolli di routing distribuiti, come base principale per la compilazione e la verifica di protocolli come BGP
- Astrazione formale per la programmazione dei pacchetti: specifiche espressive delle politiche di pianificazione e compilazione di hardware programmabile con garanzie provabili
- Sicurezza informatica basata sull'intelligenza artificiale: applicazione di tecniche di apprendimento e assistite dall'intelligenza artificiale alla sicurezza della rete, ad esempio, automi che imparano dai registri di sicurezza, validazione dei modelli di protocollo e controllori difensivi verificati
- Costruire una forte rete nei linguaggi di programmazione, verifica e comunità di networking, tra cui la collaborazione con i laboratori accademici e partner industriali
- Contribuire alla progettazione, implementazione e rilascio open source degli strumenti e artefatti laboratori
- Partecipare alla supervisione degli studenti di dottorato e master
Requisiti principali
- PhD (o quasi completamento) in informatica o in un campo relativo chiuso
- Background in linguaggi di programmazione, metodi formali o networking
- Esperienza di ricerca in uno o più di: progettazione e semantica del linguaggio, procedure di teoria e decisione degli automi, offerta teorema interattiva o automatizzata, verifica della rete, protocolli di routing, programmazione dei pacchetti o applicazioni di AI/ML ai sistemi e alla sicurezza
- Forti competenze computazionali e analitiche, tra cui solide capacità di ingegneria del software (ad esempio, OCaml, Rust, C/C++, Python o altre funzionali)
- Forte record di pubblicazione (rilativo al tuo tirocinio di carriera) in arrivi leader a livello internazionale (ad esempio, POPL, PLDI, ICFP, OOPSLA, CAV, SIGCOMM, NSDI)
- Indipendente, creativo e orientato alla soluzione
- Eccellente capacità di scrittura e comunicazione orale in inglese
- Forte motivazione per esplorare nuove aree di ricerca
- Buon spirito di squadra e entusiasmo per lavorare in un laboratorio collaborativo e internazionale
Cosa offre l’azienda
- Un ambiente di lavoro stimolante e internazionale Condizioni di lavoro eccellenti
- Viaggi finanziati per conferenze e collaborazioni di ricerca
Contatti
- Vengono prese in considerazione solo le applicazioni presentate attraverso la piattaforma online. Ti viene chiesto di fornire:
- Una breve lettera di presentazione (pdf, fino a 2 pagine). E in un PDF:
- Un CV con una lista di pubblicazione.
- Una dichiarazione di ricerca (pdf, fino a 3 pagine). per 3 referenze. Per qualsiasi pelliccia
Azienda e contesto
- Opportunità di interagire con esperti riconosciuti a livello internazionale in linguaggi di programmazione, verifica e sistemi in EPFL, e con i laboratori accademici e industriali collaboratori
Dettagli ulteriori
- Il focus preciso sarà discusso con il candidato di successo a seconda del loro background, competenza e affinità. Le possibili indicazioni includono:
- Forti competenze computazionali e analitiche, tra cui solide capacità di ingegneria del software (ad esempio, OCaml, Rust, C/C++, Python o altre
- Un ambiente di lavoro stimolante e internazionale Condizioni di lavoro eccellenti
- Vengono prese in considerazione solo le applicazioni presentate attraverso la piattaforma online. Ti viene chiesto di fornire:
- Una breve lettera di presentazione (pdf, fino a 2 pagine).
- Una dichiarazione di ricerca (pdf, fino a 3 pagine).
- Contatti per 3 referenze. Per qualsiasi pelliccia
Note e contenuto originale
- Il focus preciso sarà discusso con il candidato di successo a seconda del loro background, competenza e affinità.
- Le possibili indicazioni includono:
- lingue funzionali)
- Un ambiente di lavoro stimolante e internazionale
- Condizioni di lavoro eccellenti
- Informazioni
- Vengono prese in considerazione solo le applicazioni presentate attraverso la piattaforma online.
- Ti viene chiesto di fornire:
- E in un PDF:
- Contatti per 3 referenze.
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.
