PB✓
PBridge
ContractAI TrainingWorldwide

Lean 4 Proof Engineer - Mathematical Formalization

at Alignerr

Job Description

Get paid top dollar to formalize advanced mathematics in Lean 4 — help push the frontier of AI and formal verification. Remote, flexible, elite work.