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

Mathematical Formalization Specialist

Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — help push the frontier of AI reasoning. Remote & flexible....

PLATFORMAlignerr

LOCATIONRemote

PAY$50-150/hr

SCHEDULESee role requirements

LAST CHECKED28 Sept 2026

THE OPPORTUNITY

Put your skills to work.

Get paid up to $150/hr to formalize cutting-edge math proofs in Lean — help push the frontier of AI reasoning. Remote & flexible....

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.