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 Lean 4 al servicio del futuro del razonamiento matemático de la IA. Remoto, flexible 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.