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