Acerca del puesto
Cobra por impulsar la frontera de las matemáticas formales: escribe demostraciones en Lean que desafíen lo que la IA puede verificar. Totalmente remoto y altamente especializado....
La plataforma proporciona un resumen breve. Lee todos los requisitos en la oferta original.