Skip to content

Find work Platforms Compare Resume match Get updates

Loading opportunity…

A wider world of work.
One place to start.

support@remotefolio.io

Find work Platforms Resume match Community Career guides About us Contact

Independent discovery. Some application links may earn us a referral fee.

Privacy Terms© 2026 Remotefolio

All opportunities

AI Training · Project

Lean 4 Mathematical Formalization Expert

Put your Lean 4 expertise to work shaping the future of AI mathematical reasoning. Remote, flexible, and exceptionally well paid....

PLATFORMAlignerr

LOCATIONRemote

PAY$170-200/hr

SCHEDULESee role requirements

LAST CHECKED28 Sept 2026

THE OPPORTUNITY

Put your skills to work.

Put your Lean 4 expertise to work shaping the future of AI mathematical reasoning. Remote, flexible, and exceptionally well paid....

Relevant skills

A few things to check

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

TAKE THE NEXT STEP

Interested?
Meet Alignerr.

You’ll complete your application on their platform.

Continue to Alignerr

We may earn a referral fee through this link. Applying here does not guarantee selection.