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