Alignerr
Mathematician – Formalization & AI Foundations (Remote Contract)
- Pay
- $170–200/hr
- Type
- Part-time
- Location
- Remote
Free to apply. Never pay anyone to get AI training work.
About this role
Poland's world-class mathematical tradition belongs at the frontier of AI — formalize advanced proofs in Lean 4, fully remote and on your own schedule…
