Acerca del puesto
Cobra hasta $200/h por formalizar demostraciones matemáticas avanzadas en Lean 4 para investigación de IA de vanguardia. Remoto, flexible y pensado para matemáticos serios...
La plataforma proporciona un resumen breve. Lee todos los requisitos en la oferta original.