Alignerr
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
- Pay
- $50–150/hr
- Type
- Part-time
- Location
- Remote
Free to apply. Never pay anyone to get AI training work.
About this role
Get paid to push the frontier of formal mathematics — write Lean proofs that challenge what AI can verify. Fully remote, highly specialized…
