PB✓
PBridge
ContractAI TrainingWorldwide

Applied Formal Methods Researcher (Lean 4)

at Alignerr

Job Description

Put your Lean 4 expertise to work at the frontier of AI. Help formalize the proofs that automated systems can't — fully remote, elite pay.