← Zurück zu Jobs

Researcher - Lean 4 & Formal Proof Systems

STEM Tutoring$15 - $60 per hour

Jetzt Bewerben →

Beschreibung

**Researcher

Lean 4 & Formal Proof Systems**

Day-to-day

Write and formalize advanced mathematical proofs in Lean for AI research
Ideal for mathematicians focused on formal verification and pushing the limi

Focus

AI research

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