1 requirements-engineering "https:" "https:" "https:" "https:" "https:" uni jobs at EPFL

Software Engineer: Keystone Project (Machine-Verified LLM Inference)

EPFL | Switzerland | about 2 hours ago

verified research prototypes into a production-grade, high-performance inference engine. Prior experience with formal verification is welcome but not required: a strong systems engineer with the motivation