Verification Specialist | Remote
STEM Sync AI · United States · 4 days ago
RemoteRemoteInformation Technology$95/hrContract
Requirements
- 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.
Benefits
- 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.
- Opportunities for project extensions.
- Help produce fully human-verified reference solutions for frontier physics reasoning.