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 mastery of formal proofs to work at the frontier of AI. Formalize advanced mathematics in Lean 4 — remote, flexible, and exceptionally well p...

More Alignerr contracts