Software Ingenieur: Keystone Project (Machine-Verified LLM Inference) — EPFL
- Ort
- Lausanne
- Vertrag
- full-time
- Veröffentlicht
- Heute
Rollenüberblick
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
Hauptaufgaben
- 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
Bewerbungsprozess
- 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.
Weitere Details
- 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
Notizen und Originalinhalt
- 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).
Fragen zu dieser Stellenanzeige
Welches Gehalt bietet EPFL für diese Stelle?
EPFL gibt CHF 71'000 - 107'500 brutto pro Jahr für diese Position in Lausanne an. Dies ist das im Original-Inserat veröffentlichte Gehalt (oder, falls der Arbeitgeber keinen Betrag nennt, eine realistische Schätzung für Rolle und Branche) — der Rechner auf dieser Seite berechnet daraus Ihr tatsächliches Netto nach Grenzgänger-Steuer und Sozialabgaben.
Ist das eine Vollzeitstelle, und welchen Vertragstyp bietet EPFL?
Diese Stelle ist eine Vollzeit-Position. Der hier angezeigte Vertragstyp stammt direkt aus dem Original-Inserat des Arbeitgebers; klären Sie genaue Arbeitszeiten, Kündigungsfrist und Probezeit während des Bewerbungsprozesses mit EPFL, da diese Details auch innerhalb derselben Vertragskategorie variieren können.
Brauche ich eine Grenzgänger-Bewilligung für eine Stelle im Kanton Waadt?
EU/EFTA-Bürger mit Wohnsitz in der Grenzzone des an den Kanton Waadt angrenzenden Landes können eine G-Bewilligung beantragen; der Schweizer Arbeitgeber reicht sie nach Vertragsunterzeichnung beim Migrationsamt dieses Kantons ein. Grenzzonen-Regeln und Bearbeitungszeiten variieren je nach Nachbarland und Kanton — klären Sie die Details mit dem Migrationsamt des Kantons Waadt oder mit HR während der Bewerbung.
Wie bewerbe ich mich für diese Stelle bei EPFL?
Nutzen Sie die Schaltfläche "Jetzt bewerben" auf dieser Seite — sie führt direkt zum Original-Inserat von EPFL unter careers.epfl.ch, sodass Ihre Bewerbung direkt im Bewerbermanagementsystem des Arbeitgebers landet. Frontaliere Ticino sammelt oder leitet keine Bewerbungen selbst weiter.
