-
and proofs, and performance benchmarking Develop and maintain agentic AI pipelines for specification autoformalization, proof generation, and proof repair Write documentation, procedures, and
-
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
Searches related to interactive agent
Enter an email to receive alerts for interactive-agent positions