Mathematical Formalization Specialist
Quick facts
- Pay
- $50–150 / 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
Get paid to formalize advanced math in Lean and push the boundaries of AI reasoning. Ideal for mathematicians who love rigorous proof and formal verif... | Pay: $50-150/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.