Alignerr5H AGOApplied Formal Methods Researcher (Lean 4)
Alignerr / Applied Formal Methods Researcher (Lean 4)
RATE
$170-$200/HR
LOCATION
REMOTE (GLOBAL)
DESCRIPTION
Put your mathematical expertise to work at the frontier of AI. Formalize advanced proofs in Lean 4, push the limits of automated reasoning, and shape ...
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)