Alignerr5H AGOMathematical Formalization Specialist (Lean / Formal Proof Systems)
Alignerr / Mathematical Formalization Specialist (Lean / Formal Proof Systems)
RATE
$50-$150/HR
LOCATION
REMOTE (GLOBAL)
DESCRIPTION
Get paid to push the frontier of formal mathematics — write Lean proofs that challenge what AI can verify. Fully remote, highly specialized....
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)