Acerca del puesto
Pon tu experiencia matemática al servicio de la vanguardia de la IA. Formaliza demostraciones avanzadas en Lean 4 y da forma al futuro de las matemáticas mecanizadas — totalmente...
La plataforma proporciona un resumen breve. Lee todos los requisitos en la oferta original.