Alignerr
Mathematician (Foundations / Formalization)
- Pay
- $170–200/hr
- Type
- Part-time
- Location
- Remote
Free to apply. Never pay anyone to get AI training work.
About this role
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4 — fully remote, deeply meaningful, and exceptionall…
