Formal Verification Scientist (Lean 4 & Mathlib)

5H AGO

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr / Formal Verification Scientist (Lean 4 & Mathlib)

RATE

$170-$200/HR

LOCATION

REMOTE (GLOBAL)

More Alignerr jobs STEM & PhD

Apply

DESCRIPTION

Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, push the limits of formal verification, and get pa...

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)