Skip to content
DATA LABEL JOBS
Alignerr6H AGO

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr / Formal Verification Scientist (Lean 4 & Mathlib)

RATE

$170-$200/HR

LOCATION

REMOTE (GLOBAL)

More Alignerr jobsSTEM & PhD
Apply

DESCRIPTION

Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, shape the future of formal verification, and earn ...

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)