Work Expert (WE) is an independent publishing and referral website. We are not a recruiter, hiring manager, agent or employer, and we are not affiliated with or endorsed by Mercor. Applying takes you to the platform's own website, where we may be recorded as the referring source. We may receive a referral fee at no additional cost to you. Read our full affiliate disclosure →
About the Role
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. Design expert-level problems in formal methods: theorem proving, program verification, and formalization of mathematics
What You'll Do
Complete assigned tasks according to the project brief.
Collaborate asynchronously with the Mercor research team.
Deliver consistent, high-quality work on schedule.
You're a Good Fit If You
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
We consider all qualified applicants without regard to legally protected characteristics and provide reasonable accommodations upon request.
Independent contractor engagement, fully remote. Mercor pays weekly via Stripe or Wise.
Common Questions
Mercor has a reliability rating of very reliable based on the listings we track, with an onboarding time of 1-3 weeks (interview + assessment + trial). See our full Mercor review for the details behind that rating.
Applying takes you to Mercor's own website, where the application is completed. We are not a recruiter or employer and do not process applications directly - we may be recorded as the referring source.
$95/h - Independent contractor engagement, fully remote. Mercor pays weekly via Stripe or Wise.
Complete assigned tasks according to the project brief. Collaborate asynchronously with the Mercor research team. Deliver consistent, high-quality work on schedule.
