Skip to content
DATA LABEL JOBS
Alignerr5H AGO

Mathematical Formalization Specialist

Alignerr / Mathematical Formalization Specialist

RATE

$50-$150/HR

LOCATION

REMOTE (GLOBAL)

More Alignerr jobsSTEM & PhD
Apply

DESCRIPTION

Get paid up to $150/hr to formalize advanced math proofs in Lean and push the frontier of AI reasoning. Remote, flexible, and built for serious mathem...

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)