Software Ingegnere: Keystone Project (Machine-Verified LLM Inference) — EPFL
- Località
- Lausanne
- Contratto
- full-time
- Pubblicato
- Ieri
Panoramica
Missione
Il progetto Keystone, una collaborazione finanziata dall'ARIA tra EPFL e l'Imperial College London, mira a costruire un motore di inferenza ML formalmente verificato, dimostrando che l'IA può contribuire a rendere competitivi i sistemi verificati con sistemi unificati in termini di sforzo, caratteristiche e prestazioni di sviluppo.
Le sue missioni includono la progettazione e l'implementazione di componenti di inferenza verificate, la formalizzazione della semantica del kernel GPU, lo sviluppo dei flussi di lavoro di ingegneria di prova assistiti dall'IA, e il rilascio open source di specifiche, prove e artefatti verificati.
- Missione
- Il progetto Keystone, una collaborazione finanziata dall'ARIA tra EPFL e l'Imperial College London, mira a costruire un motore di inferenza ML formalmente verificato, dimostrando che l'IA può contribuire a rendere competitivi i sistemi verificati con sistemi unificati in termini di sforzo, caratteristiche e prestazioni di sviluppo.
- Cerchiamo un ingegnere software eccellente per svolgere un ruolo centrale nel trasformare i prototipi di ricerca verificati in un motore di inferenza di qualità produttiva e ad alte prestazioni. Principali doveri e responsabilità
- Organizzare e gestire l’infrastruttura ingegneristica del progetto: test differenziali contro i motori di riferimento (vLLM, SGLang), integrazione continua per codici e prove, e benchmarking delle prestazioni
- La prima esperienza con la verifica formale è gradita ma non necessaria: un forte ingegnere di sistemi con la motivazione per imparare la tecnologia di prova-assistante prospererà in questo ruolo.
- Portare competenze tecniche nella programmazione dei sistemi e nell’ingegneria delle prestazioni per supportare la ricerca del progetto; collaborare con i team di ricerca di EPFL e Imperial College London
Responsabilità principali
- Cerchiamo un ingegnere software eccellente per svolgere un ruolo centrale nel trasformare i prototipi di ricerca verificati in un motore di inferenza di qualità produttiva e ad alte prestazioni. Principali doveri e responsabilità
- Organizzare e gestire l’infrastruttura ingegneristica del progetto: test differenziali contro i motori di riferimento (vLLM, SGLang), integrazione continua per codici e prove, e benchmarking delle prestazioni
Requisiti principali
- La prima esperienza con la verifica formale è gradita ma non necessaria: un forte ingegnere di sistemi con la motivazione per imparare la tecnologia di prova-assistante prospererà in questo ruolo.
- Portare competenze tecniche nella programmazione dei sistemi e nell’ingegneria delle prestazioni per supportare la ricerca del progetto; collaborare con i team di ricerca di EPFL e Imperial College London
- Progettare, implementare e mantenere i componenti principali del motore di inferenza LLM verificato, incluso il codice runtime e colla che collega il codice verificato estratto, i kernel GPU e i driver
- Sviluppare e mantenere agentic AI pipelines per la specifica autoformalizzazione, la generazione della prova e la riparazione della prova
- Scrivere documentazione, procedure e raccomandazioni per garantire la riproducibilità dei manufatti del progetto
- Diagnosi, prevenire e riparare guasti e regressioni attraverso lo stack software
- Analizzare il livello di sicurezza e la base di calcolo affidabile dei componenti che sviluppiamo e contribuire agli esercizi di squadra rosso/blu all'interno del programma ARIA
- Contribuire alle release open source e interagire con le loro comunità di utenti
- Laurea superiore in informatica o istruzione considerata equivalente; Esperienza nel settore
- Ottima conoscenza tecnica della programmazione dei sistemi e forte capacità di programmazione in diversi di: Python, C/C++, Rust, OCaml, o altre funzionali
- Conoscenza di uno o più dei seguenti, con forte motivazione a crescere negli altri:
- Programmazione GPU (CUDA, Triton, PTX) o elaborazione ad alte prestazioni
Cosa offre l’azienda
- Un ambiente di lavoro multiculturale e accademico di alta qualità
- Opportunità di formazione continua e sviluppo professionale Condizioni di lavoro eccellenti
- Accesso generoso ai modelli AI di frontiera e calcolo ad alte prestazioni
- Viaggi finanziati per la collaborazione tra Losanna e Londra, e per conferenze
Contatti
- Vengono considerate solo le domande presentate tramite la piattaforma online. Ti viene chiesto di fornire:
- Una breve lettera di copertina (PDF, fino a 2 pagine) E in un PDF:
- Un CV, compresi i link ai contributi open source o ai progetti rappresentativi, ove applicabile.
Dettagli ulteriori
- di contatto per 3 arbitri
- Laurea superiore in informatica o istruzione considerata equivalente; Esperienza nel settore
- Ottima conoscenza tecnica della programmazione dei sistemi e forte capacità di programmazione in diversi di: Python, C/C++, Rust, OCaml, o altre
- Opportunità di formazione continua e sviluppo professionale Condizioni di lavoro eccellenti
- Vengono considerate solo le domande presentate tramite la piattaforma online. Ti viene chiesto di fornire:
- Una breve lettera di copertina (PDF, fino a 2 pagine) Dettagli di contatto per 3 arbitri
Note e contenuto originale
- Cerchiamo un ingegnere software eccellente per svolgere un ruolo centrale nel trasformare i prototipi di ricerca verificati in un motore di inferenza di qualità produttiva e ad alte prestazioni.
- Principali doveri e responsabilità
- Laurea superiore in informatica o istruzione considerata equivalente;
- Esperienza nel settore
- lingue funzionali
- Opportunità di formazione continua e sviluppo professionale
- Condizioni di lavoro eccellenti
- Informazioni
- Vengono considerate solo le domande presentate tramite la piattaforma online.
- Ti viene chiesto di fornire:
Domande frequenti su questo annuncio
Che stipendio offre EPFL per questa posizione?
EPFL indica CHF 71'000 - 107'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.
