Postdoc on Machine-Verified LLM Inference (Keystone Project), EPFL Post Doctoral Fellowship Switzerland Full Time
Postdoc in Formal Verification and Algorithm Discovery for Numerical Analysis, EPFL Post Doctoral Fellowship Switzerland Full Time