Mathematician – Formal Systems & AI Foundations (Remote Contract)

FeaturedAlignerrAI TrainerSTEM

Mathematician – Formal Systems & AI Foundations (Remote Contract)

View all Alignerr jobs

Pay

$170-200/hour

Location

Remote

Difficulty

Medium

Posted

21 hours ago (Aug 8, 2026)

Required Skills

STEM

About This Role

Germany's mathematics talent is shaping the future of AI — formalize proofs in Lean 4 on your own schedule, fully remote and highly rewarding....

Interested in this role?

Apply directly on Alignerr to get started.

Applications beat interviews when you prepare: How to pass AI platform assessments →

Similar Roles

View all

Mathematician, PhD

$90-120/hour

Lean 4 Mathematical Formalization Expert

$170-200/hour

Mathematician (Foundations / Formalization)

$170-200/hour

Formal Verification Scientist (Lean 4 & Mathlib)

$170-200/hour

Related Resources

How to pass AI platform assessments Is Alignerr legit? Read our review See live AI gig pay rates Highest-paying AI gig jobs guide Browse all AI Trainer jobs