AI Training · Project

Formal Verification Scientist (Lean 4 & Mathlib)

Put your mastery of formal proofs to work at the frontier of AI. Formalise advanced mathematics in Lean 4 — remote, flexible, and exceptionally well p...

PLATFORMAlignerr

LOCATIONRemote

PAY$170-200/hr

SCHEDULESee role requirements

LAST CHECKED28 Sept 2026

THE OPPORTUNITY

Put your skills to work.

Put your mastery of formal proofs to work at the frontier of AI. Formalise advanced mathematics in Lean 4 — remote, flexible, and exceptionally well p...

Relevant skills

A few things to check

Location and experience requirements.
Schedule, compensation, and assessment process.
Current availability on Alignerr.