Skip to content
Alignerr5H AGO

Mathematical Formalization Specialist (Lean / Formal Proof Systems)

Alignerr / Mathematical Formalization Specialist (Lean / Formal Proof Systems)

RATE

$50-$150/HR

LOCATION

REMOTE (GLOBAL)

DESCRIPTION

Put your mathematical expertise to work at the frontier of AI. Formalize cutting-edge proofs in Lean — fully remote, flexible, and exceptionally well ...

More Alignerr contracts