Esta oferta se ha traducido automáticamente. La plataforma original gestiona las solicitudes; revisa sus requisitos originales antes de postularte. Ver página original
Pon tu experiencia en matemáticas avanzadas al servicio de la vanguardia de la investigación en IA: formaliza demostraciones en Lean 4, totalmente remoto y excepcionalmente bien remunerado....
La plataforma proporciona un resumen breve. Lee todos los requisitos en la oferta original.
La fuente no especifica en qué países pueden vivir o trabajar los candidatos. Revisa la oferta original. El trabajo remoto y la ubicación anunciada no establecen elegibilidad.