AI Training · Project

Applied Formal Methods Researcher (Lean 4)

Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, shape the future of mechanized mathematics — fully...

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, shape the future of mechanized mathematics — fully...

Relevant skills

A few things to check

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