AI Training · Project

Mathematician – Formalization & AI Foundations (Remote Contract)

Poland's world-class mathematical tradition belongs at the frontier of AI — formalize advanced proofs in Lean 4, fully remote and on your own schedule...

PLATFORMAlignerr

LOCATIONRemote

PAY$170-200/hr

SCHEDULESee role requirements

LAST CHECKED28 Sept 2026

THE OPPORTUNITY

Put your skills to work.

Poland's world-class mathematical tradition belongs at the frontier of AI — formalize advanced proofs in Lean 4, fully remote and on your own schedule...

Relevant skills

A few things to check

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