Software Ingegnere: Keystone Project (Machine-Verified LLM Inference) — EPFL
- Località
- Lausanne
- Contratto
- full-time
- Pubblicato
- Oggi
Panoramica
Mission
The Keystone project, an ARIA-funded collaboration between EPFL and Imperial College London, aims to build a formally-verified ML inference engine, demonstrating that AI can help make verified systems competitive with unverified systems in terms of development effort, features, and performance.
Its missions include the design and implementation of verified inference components, the formalization of GPU kernel semantics, the development of AI-assisted proof engineering workflows, and the open-source release of specifications, proofs, and verified artefacts.
- Mission
- The Keystone project, an ARIA-funded collaboration between EPFL and Imperial College London, aims to build a formally-verified ML inference engine, demonstrating that AI can help make verified systems competitive with unverified systems in terms of development effort, features, and performance.
- Main duties and responsibilities
- Bring technical expertise in systems programming and performance engineering to support the project’s research; collaborate with the research teams at EPFL and Imperial College London
Responsabilità principali
- Main duties and responsibilities
- Bring technical expertise in systems programming and performance engineering to support the project’s research; collaborate with the research teams at EPFL and Imperial College London
- Design, implement, and maintain core components of the verified LLM inference engine, including the runtime and glue code connecting extracted verified code, GPU kernels, and drivers
- Organize and manage the project’s engineering infrastructure: differential testing against reference engines (vLLM, SGLang), continuous integration for code and proofs, and performance benchmarking
- Develop and maintain agentic AI pipelines for specification autoformalization, proof generation, and proof repair
- Write documentation, procedures, and recommendations to ensure reproducibility of the project’s artefacts
- Diagnose, prevent, and repair failures and regressions across the software stack
- Analyze the security level and trusted computing base of the components we develop, and contribute to red/blue team exercises within the ARIA programme
- Contribute to open-source releases and engage with their user communities Profile
- Higher degree in computer science or education deemed equivalent; experience in the field
Processo di candidatura
- 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:
- A CV, including links to open-source contributions or representative projects where applicable.
Dettagli ulteriori
- details for 3 refere
- Contribute to open-source releases and engage with their user communities
- Mastery of English indispensable (oral and written); French is an asset but not required
- Strong sense of service and spirit of initiative
- The possibility to join a dynamic and stimulating team on a high-profile ARIA-funded project A multicultural and academic working environment of high quality
- Opportunities for continuing education and professional development Excellent working conditions
- Funded travel for collaboration between Lausanne and London, and for conferences
- Only applications submitted through the online platform are considered. You are asked to supply: A brief cover letter (pdf, up to 2 pages). Contact details for 3 refere
Note e contenuto originale
- Mastery of English indispensable (oral and written);
- French is an asset but not required
- The possibility to join a dynamic and stimulating team on a high-profile ARIA-funded project
- A multicultural and academic working environment of high quality
- Opportunities for continuing education and professional development
- 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).
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.
