Mathematical Formalization Specialist

6H AGO

Mathematical Formalization Specialist

Alignerr / Mathematical Formalization Specialist

RATE

$50-$150/HR

LOCATION

REMOTE (GLOBAL)

More Alignerr jobs STEM & PhD

Apply

DESCRIPTION

Get paid to formalize advanced math in Lean and push the boundaries of AI reasoning. Ideal for mathematicians who love rigorous proof and formal verif...

More Alignerr contracts

3D AGO

Desarrollador Back End (Infraestructura de IA)

Alignerr / Desarrollador Back End (Infraestructura de IA)

$20-$100/HR

REMOTE (GLOBAL)

3D AGO

Desarrollador Back End (Infraestructura de IA)

Alignerr / Desarrollador Back End (Infraestructura de IA)

$20-$100/HR

REMOTE (GLOBAL)

3D AGO

Back End Developer (AI Infrastructure)

Alignerr / Back End Developer (AI Infrastructure)

$20-$100/HR

REMOTE (GLOBAL)

3D AGO

Desenvolvedor Back End (Infraestrutura de IA)

Alignerr / Desenvolvedor Back End (Infraestrutura de IA)