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 advanced mathematics to work at the frontier of AI. Formalize complex proofs in Lean 4, shape machine-verifiable knowledge, and get paid top ...

More Alignerr contracts