Acerca del puesto
Cobra hasta $200/h por formalizar matemáticas avanzadas en Lean 4: trabaja en la frontera de la verificación formal y da forma al futuro del razonamiento de la IA....
La plataforma proporciona un resumen breve. Lee todos los requisitos en la oferta original.