Alignerr
Lean 4 Mathematical Formalization Expert
- 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 Lean 4 expertise to work at the frontier of AI. Help machines reason like mathematicians — fully remote, flexible, and exceptionally well pai…
