Verification Specialist | Remote

Formal Methods Expert Remote | Hourly contract | $95 per hour | 10-40 hrs/week

Quick Snapshot

• Contribute to research-grade physics benchmarks used to evaluate advanced language models.
• Solve, review, and validate complex physics problems across multiple specialized subfields.
• Work asynchronously with a fully remote, flexible schedule.
• Earn $80 $135 per hour, with weekly payouts via Stripe or Wise.
• Typical commitment of ~10 hours per week over an 8 10 week project window.
• Independent contractor engagement with opportunities for project extensions.
• Help produce fully human-verified reference solutions for frontier physics reasoning.

Requirements

• Have strong relevant experience in formal verification and interactive theorem proving.
• Hands-on experience with Lean 4, Coq, Isabelle, or Agda is required.
• Familiarity with type theory, mathematical logic, and program verification is essential.
• Strong technical writing skills and meticulous attention to detail are necessary.

Application Process

• Apply for the opportunity using the Easy Apply button.
• Applications will be evaluated based on the requirements of the opportunity.
• Candidates selected to proceed will receive an email with additional instructions.
• Use the instructions in the email to complete the remaining application steps.