EPFL · Technique
IT / Software
Software Engineer: Keystone Project (Machine-Verified LLM Inference)
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. We seek an excellent…
🇨🇭 LausanneCDD
No deadlineSource: EPFL