Verified Mercor opportunity
Role Overview Mercor is partnering with a leading AI lab to strengthen expert-level reasoning in frontier models. We are hiring formal-methods experts to author and review challenging formal-verification and theorem-proving problems and to evaluate AI-generated proofs and formalizations for correctness and rigor. — What You'll Do • Design expert-level problems in formal methods: theorem proving, program verification, and formalization of mathematics • Review problems authored by peers for clarity, genuine difficulty, and ground-truth correctness • Evaluate and compare AI model outputs (proofs, tactics, formalizations), delivering Accept / Revise / Reject verdicts with detailed written rationale — Ideal Qualifications • Strong background in formal verification / interactive theorem proving, with hands-on experience in Lean 4 (and mathlib), Coq, Isabelle, or Agda • Familiarity with type theory, mathematical logic, and program verification • Strong technical writing and meticulous attention to detail