Postdoctoral Position in Machine-Verified LLM Inference (Keystone Project) at EPFL, Switzerland
📋 About This Opportunity
EPFL (the Swiss Federal Institute of Technology in Lausanne) is inviting applications for an outstanding Postdoctoral Researcher to join the high-profile, ARIA-funded Keystone Project. This collaborative initiative between EPFL and Imperial College London aims to build a formally-verified ML inference engine, proving This opportunity was collected by Gabeshana from ResearchersJob. Organization: ResearchersJob. Please visit the original source for complete eligibility requirements, official notification, application instructions and the latest information.
🎯 Eligibility
& QualificationsApplicants must meet the following criteria to be considered for the position:Education: A PhD (completed or nearing completion) in Computer Science or a closely related field.Core Expertise: A strong background in formal verification, programming languages, systems, or machine learning.Technical Experience: Research experience in one or more of the following:Interactive theorem proving (e.g., Rocq/Coq, Lean, HOL, Isabelle).GPU programming or semantics, compilers, concurrency, or ML systems (e.g., vLLM, SGLang, or similar inference engines).Software Engineering: Strong computational and analytical skills with proficiency in multiple languages (e.g., Python, C++, OCaml, or fun