Applied Formal Methods Researcher (Lean 4)
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 mastery of formal proofs to work at the frontier of AI. Help teach machines to reason mathematically — remote, flexible, and exceptionally we... | 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.