Application details are incomplete. Check the source carefully before applying; this page is not included in search indexing.
Hiring organization: Ecole Polytechnique Fédérale de Lausanne (EPFL)
Computer SciencePostdocSwitzerland
Ecole Polytechnique Federale de Lausanne is hiring:
Postdoc in Keystone Project (Machine-Verified LLM Inference)
#postdoc #computerscience #machineverifiedllminference
---
Extract: The Keystone project at EPFL seeks a postdoc to advance formal verification and interactive theorem proving in machine-verified LLM inference. Candidates should have a PhD in computer science or related fields and experience in formal verification or ML systems.