Skip to content
DATA LABEL JOBS
Alignerr6H 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 — work at the frontier of AI and formal verification, fully remote....

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)