Skip to content
Alignerr5H AGO

Applied Formal Methods Researcher (Lean 4)

Alignerr / Applied Formal Methods Researcher (Lean 4)

RATE

$170-$200/HR

LOCATION

REMOTE (GLOBAL)

DESCRIPTION

Get paid up to $200/hr to push the boundaries of AI reasoning — formalize advanced proofs in Lean 4 and help teach machines to think like mathematicia...

More Alignerr contracts