← Zurück zu Jobs

Lean 4 Mathematical Formalization Expert

STEM Tutoring$15 - $60 per hour

Jetzt Bewerben →

Beschreibung

Lean 4 Mathematical Formalization Expert

Day-to-day

Seeking experts in Lean 4 to support AI training projects focused on mathematical reasoning, verification, and formal logic

Focus

Support AI training projects focused on mathematical reasoning, verification, and formal logic

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