Postdoc: Keystone Project (Machine-Verified LLM Inference) — EPFL | SciFind