Researcher - Lean 4 & Formal Proof Systems
Quick facts
- Pay
- $170–200 / hour
- Type
- Part-time
- Location
- Remote
- Platform
- Alignerr — 4819 open jobs
- Typical pay at Alignerr
- $30–120/hour · median $55 (3840 jobs on our site)
- Payout
- Deel, PayPal, Stripe (weekly)
- Apply
- Free to apply — never pay to get AI training work
This role is also open in other regions
Get paid $170–$200/hr to push the frontier of formal mathematics — formalizing advanced proofs in Lean 4 for cutting-edge AI research. Fully remote.... | Pay: $170-200/hr | Location: Remote | Category: Stem
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.