Esta oferta se ha traducido automáticamente. La plataforma original gestiona las solicitudes; revisa sus requisitos originales antes de postularte. Ver página original
La tradición matemática de clase mundial de Polonia pertenece a la frontera de la IA: formaliza demostraciones avanzadas en Lean 4, totalmente remoto y con tu propio horario...
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.