Alignerr5H AGOLean 4 Proof Engineer - Mathematical Formalization
Alignerr / Lean 4 Proof Engineer - Mathematical Formalization
RATE
$170-$200/HR
LOCATION
REMOTE (GLOBAL)
DESCRIPTION
Get paid $170–$200/hr to formalize advanced math proofs in Lean 4 and directly shape the frontier of AI reasoning. Remote, flexible, elite-level work....
More Alignerr contracts
Alignerr3D AGODesarrollador Back End (Infraestructura de IA)
Alignerr / Desarrollador Back End (Infraestructura de IA)
$20-$100/HR
REMOTE (GLOBAL)
Alignerr3D AGODesarrollador Back End (Infraestructura de IA)
Alignerr / Desarrollador Back End (Infraestructura de IA)
$20-$100/HR
REMOTE (GLOBAL)
Alignerr3D AGOBack End Developer (AI Infrastructure)
Alignerr / Back End Developer (AI Infrastructure)
$20-$100/HR
REMOTE (GLOBAL)
Alignerr3D AGODesenvolvedor Back End (Infraestrutura de IA)
Alignerr / Desenvolvedor Back End (Infraestrutura de IA)
$20-$100/HR
REMOTE (GLOBAL)