AI Training · Project

Mathematician (Foundations / Formalization)

Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4 — fully remote, deeply meaningful, and exceptionall...

PLATFORMAlignerr

LOCATIONRemote

PAY$170-200/hr

SCHEDULESee role requirements

LAST CHECKED28 Sept 2026

THE OPPORTUNITY

Put your skills to work.

Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4 — fully remote, deeply meaningful, and exceptionall...

Relevant skills

A few things to check

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