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 matemática a trabajar en la frontera de la IA. Formaliza demostraciones avanzadas en Lean 4 — totalmente remoto, profundamente significativo, excepcionalmente pa...
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.