Acerca del puesto
Pon tu dominio de las demostraciones formales al servicio de la vanguardia de la IA. Formaliza matemáticas avanzadas en Lean 4: remoto, flexible y excepcionalmente bien p...
La plataforma proporciona un resumen breve. Lee todos los requisitos en la oferta original.