Postdoc: Networked Systems Abstractions Lab (LASeR) — EPFL

Descrizione completa

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. La nostra ricerca affronta questa sfida nei seguenti settori:

• Progettazione di linguaggi espressivi per specificare il comportamento di rete
• Sviluppare tecniche di verifica per stabilire la correttezza rispetto alle specifiche formali
• Ingegneria efficienti implementazioni che rendono pratiche astrazioni di alto livello

Cerchiamo candidati eccezionali che lavorano in linguaggi di programmazione, metodi formali e/o in rete, con interessi in una o più delle seguenti aree: NetKAT e le sue estensioni, automi simbolici, algebre routing, programmazione di pacchetti e sicurezza informatica basata su AI.

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

Profilo

• 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 lingue 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

Offriamo

• Un ambiente di lavoro stimolante e internazionale
• Condizioni di lavoro eccellenti
• Opportunità di svolgere ricerche all'avanguardia in una delle istituzioni scientifiche più dinamiche d'Europa
• 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
• Viaggi finanziati per conferenze e collaborazioni di ricerca

Informazioni

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).
• Contatti per 3 referenze.

Per qualsiasi pelliccia

Domande frequenti su questo annuncio