Alignerr
Researcher - Lean 4 & Formal Proof Systems
Get paid $170–$200/hr to push the boundaries of formal mathematics — formalizing advanced proofs in Lean 4 for cutting-edge AI research. Fully remote....
- Field
- Math & statistics
- Where
- Remote
- Versions
- 32 location variants of this role
- Posted
- first seen 2 days ago
How Alignerr pays and hires
Alignerr does not publish its pay schedule publicly. Third-party guides disagree (weekly through PayPal versus bi-weekly through Deel), so check the payment method on your own dashboard.
Apply to a listing, then complete an assessment. Most work is reviewed before it counts as payable.
Source: Alignerr payment schedule guide (third-party)
Full Alignerr profile: watch-outs and worker reports →Other math & statistics roles
- Applied Formal Methods Researcher (Lean 4)Alignerr$170-200/hr
- Formal Verification Scientist (Lean 4 & Mathlib)Alignerr$170-200/hr
- Lean 4 Mathematical Formalization ExpertAlignerr$170-200/hr
- Lean 4 Proof Engineer - Mathematical FormalizationAlignerr$170-200/hr
- Mathematician – Formal Proof & AI FoundationsAlignerr$170-200/hr
- Mathematician – Formal Proof & AI ResearchAlignerr$170-200/hr