Postdoc: Keystone Project (Machine-Verified LLM Inference)

À propos du poste

Mission The Keystone project seeks to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding candidates working in formal methods …

Seul un extrait est disponible ici. Consultez l’annonce de l’employeur pour les tâches, les exigences et la candidature.