Alignerr
Mathematician – Foundations & Formal Proof (AI Training)
- 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 advanced mathematics expertise to work at the frontier of AI research — formalize proofs in Lean 4, fully remote and exceptionally well paid…
