Skip to content
Alignerr6H AGO

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr / Formal Verification Scientist (Lean 4 & Mathlib)

RATE

$170-$200/HR

LOCATION

REMOTE (GLOBAL)

DESCRIPTION

Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, shape the future of formal verification, and earn ...

More Alignerr contracts