← Zurück zu Jobs

Mathematician (Foundations / Formalization)

STEM Tutoring$15 - $60 per hour

Jetzt Bewerben →

Beschreibung

Mathematician (Foundations / Formalization)

Day-to-day

Join the platform to formalize advanced mathematical arguments in Lean 4, contributing to frontier AI research and large-the team formal libraries like mathl

Focus

Formalize advanced mathematical arguments in Lean 4, contributing to frontier AI research and large-the team formal libraries like mathl

Details

Category

STEM Tutoring

Location

Remote

Employment Type

Freelance

Posted

3.4.2026

Jetzt Bewerben →

Ähnliche Angebote

MINT-Professoren/Forscher

$300 - $500 per hour

Fachkraft im Nuklearbereich

$180 - $300 per hour

Experte für Elektrotechnik (Super-Star-Programm)

$100 - $300 per hour

Sicherheitssystemarchitekt (Super-Star-Programm)

$100 - $300 per hour

Experte für translationale Biologie

$110 - $135 per hour

View similar gigs →

Is Alignerr Legit?

How Much Do AI Jobs Pay?

How to Get Started