Skip to content
DATA LABEL JOBS
Alignerr5H AGO

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr / Lean 4 Proof Engineer - Mathematical Formalization

RATE

$170-$200/HR

LOCATION

REMOTE (GLOBAL)

More Alignerr jobsSTEM & PhDCode & Engineering
Apply

DESCRIPTION

Get paid to push the frontier of formal mathematics — formalize advanced proofs in Lean 4 for cutting-edge AI research. Remote, flexible, and highly c...

More Alignerr contracts

Alignerr3D AGO

Desarrollador Back End (Infraestructura de IA)

Alignerr / Desarrollador Back End (Infraestructura de IA)

$20-$100/HR
REMOTE (GLOBAL)
Alignerr3D AGO

Desarrollador Back End (Infraestructura de IA)

Alignerr / Desarrollador Back End (Infraestructura de IA)

$20-$100/HR
REMOTE (GLOBAL)
Alignerr3D AGO

Back End Developer (AI Infrastructure)

Alignerr / Back End Developer (AI Infrastructure)

$20-$100/HR
REMOTE (GLOBAL)
Alignerr3D AGO

Desenvolvedor Back End (Infraestrutura de IA)

Alignerr / Desenvolvedor Back End (Infraestrutura de IA)

$20-$100/HR
REMOTE (GLOBAL)