Postdoc in Keystone Project (Machine-Verified LLM Inference)

EPFL is looking for a postdoctoral researcher for the Keystone project focused on machine-verified LLM inference. The role involves conducting research in formal verification and systems, contributing to the design of a machine-verified inference engine, and collaborating with teams at Imperial College London. Candidates should have a PhD in computer science or a related field, with a strong background in formal methods, programming languages, and ML systems. The position offers an international working environment and opportunities for collaboration and research.