Formal Verification Scientist (Lean 4 & Mathlib)
Quick facts
- Pay
- $170–200 / hour
- Type
- Part-time
- Location
- Remote
- Platform
- Alignerr — 4447 open jobs
- Typical pay at Alignerr
- $30–120/hour · median $55 (3522 jobs on our site)
- Apply
- Free to apply — never pay to get AI training work
This role is also open in other regions
Put your advanced mathematics to work at the frontier of AI. Formalize complex proofs in Lean 4, shape machine-verifiable knowledge, and get paid top ... | Pay: $170-200/hr | Location: Remote | Category: Stem
About Alignerr
Alignerr is the expert network run by Labelbox, a data-labeling company that supplies training data to AI labs. Contributors write and grade model responses, solve domain problems step by step, and review other experts' work.