← Zurück zu Jobs

Mathematical Formalization Specialist (Lean / Formal Proof Systems)

STEM Tutoring$15 - $60 per hour
Jetzt Bewerben →

Beschreibung

Mathematical Formalization Specialist (Lean / Formal Proof Systems)

Day-to-day

  • Write and formalize advanced mathematical proofs in Lean for advanced AI research
  • Ideal for mathematicians passionate about formal verification a

Focus

  • Advanced 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 →

Verpassen Sie keine Top-Jobs

Erhalten Sie Benachrichtigungen, wenn neue KI-Jobs veröffentlicht werden. Wählen...

Review

Is Alignerr Legit?

→
Pay Data

How Much Do AI Jobs Pay?

→
Guide

How to Get Started

→