Formal Verification Scientist (Lean 4 & Mathlib)

6H 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 mathematics expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, push the limits of formal verification, and get pai...

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)