Software Ingénieur: Keystone Project (Machine-Verified LLM Inference) — EPFL
- Lieu
- Lausanne
- Contrat
- full-time
- Publié
- Aujourd'hui
Vue d’ensemble du poste
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és principales
- 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
Processus de candidature
- 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.
Détails supplémentaires
- 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
Notes et contenu original
- 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).
Questions sur cette offre
Quel salaire propose EPFL pour ce poste ?
EPFL indique CHF 71 000 - 107 500 bruts par an pour ce poste à Lausanne. Il s'agit du salaire publié dans l'annonce d'origine (ou, si l'employeur ne précise pas de montant, d'une estimation réaliste pour le rôle et le secteur) — le calculateur de ce site le convertit en net réel une fois l'impôt frontalier et les cotisations sociales appliqués.
Est-ce un poste à temps plein, et quel type de contrat propose EPFL ?
Cette offre est un poste en temps plein. Le type de contrat affiché ici provient directement de l'annonce originale de l'employeur ; confirmez toujours les horaires exacts, le préavis et la durée d'essai avec EPFL pendant le processus de candidature, ces détails pouvant varier même au sein de la même catégorie de contrat.
Ai-je besoin d'un permis de frontalier pour un poste dans le canton de Vaud ?
Les résidents UE/AELE domiciliés dans la zone frontalière du pays voisin du canton de Vaud peuvent demander un permis G ; l'employeur suisse le dépose auprès de l'office cantonal des migrations après signature du contrat. Les règles de zone frontalière et les délais varient selon le pays voisin et le canton — confirmez les détails auprès de l'office des migrations du canton de Vaud ou avec les RH pendant la candidature.
Comment postuler à ce poste chez EPFL ?
Utilisez le bouton « Postuler maintenant » sur cette page — il renvoie directement à l'annonce originale de EPFL sur careers.epfl.ch, votre candidature arrive donc directement dans le système de suivi des candidatures de l'employeur. Frontaliere Ticino ne collecte ni ne transmet lui-même les candidatures.
