Production-Grade Verifiable ML Inference Engineer

EPFL; Lausanne; Vor Ort; CHF 120.000 - 180.000; Vollzeit

Benefits dieser Stelle

Dynamic team on high-profile project

Multicultural academic environment

Continuing education and professional

Frontier AI models access

Travel funding Lausanne-London

Zusammenfassung

EPFL invites a skilled software engineer to turn verified research prototypes into production-grade, high-performance inference software. The role emphasizes systems programming, performance engineering, and collaboration with EPFL and Imperial College London researchers.

Applicants should bring strong exposure to Python, C/C++, Rust and have an interest in formal verification. French is a plus, English fluency is essential for collaboration with international teams.

Qualifikationen

• Higher degree in computer science or equivalent with experience in systems programming.
• Strong programming ability in Python, C/C++, Rust, OCaml or similar functional languages.
• Knowledge of GPU programming (CUDA, Triton, PTX) or high-performance computing.

Aufgaben

• Design, implement, and maintain core components of the verified LLM inference engine.
• Collaborate with EPFL and Imperial College London research teams.
• Organize engineering infrastructure: CI, differential testing, performance benchmarking.
• Develop AI pipelines for specification autoformalization, proof generation, and proof repair.
• Write documentation to ensure reproducibility of artefacts.
• Diagnose and repair failures across the software stack.
• Contribute to open-source releases and engage with user communities.

Kenntnisse

Python

C/C++

Rust

OCaml

GPU programming

ML inference/serving

Interactive theorem proving

English communication

Ausbildung

Higher degree in computer science

Tools

CUDA

PyTorch

SGLang

Lean/Isabelle

Jobbeschreibung

EPFL invites a skilled software engineer to turn verified research prototypes into production-grade, high-performance inference software. The role emphasizes systems programming, performance engineering, and collaboration with EPFL and Imperial College London researchers.

Applicants should bring strong exposure to Python, C/C++, Rust and have an interest in formal verification. French is a plus, English fluency is essential for collaboration with international teams.