Matemático/a – Formalización y Fundamentos de la IA (Contrato a distancia)

Descripción del puesto

Matemático/a – Formalización y Fundamentos de la IA (Contrato a distancia). ¿Y si tu profundo conocimiento de las matemáticas formales pudiera influir directamente en cómo razonan, demuestran y piensan los sistemas de IA más avanzados del mundo? Esta oportunidad es para matemáticos con pasión por la demostración rigurosa y los sistemas formales para ayudar a construir los fundamentos matemáticos de los que depende la IA de frontera

Lo que harás

• Construir demostraciones formales limpias, legibles y bien estructuradas que traduzcan el razonamiento matemático informal en una forma rigurosa verificable por máquinas
• Auditar y verificar demostraciones formales existentes en cuanto a corrección, completitud e integridad lógica
• Capacidad para traducir con fluidez ideas matemáticas informales en demostraciones formales estructuradas y verificables por máquinas
• Francia tiene una tradición matemática de primer nivel, y el cliente busca pensadores rigurosos que puedan traducir esa tradición en demostraciones formales y verificables por máquinas

Requisitos y condiciones

• Ubicación: Remoto
• Compromiso: 10–40 horas/semana
• Poseer un máster o doctorado en Matemáticas o un campo estrechamente relacionado
• Tener experiencia práctica con asistentes de prueba formal — se prefiere Lean 4
• Capacidad para traducir con fluidez ideas matemáticas informales en demostraciones formales estructuradas y verificables por máquinas
• Motivado/a y cómodo/a trabajando de forma independiente en un entorno remoto y asíncrono
• Experiencia previa en verificación de pruebas, demostración de teoremas o proyectos de formalización matemática
• Experiencia en múltiples dominios matemáticos — topología, álgebra, análisis, lógica y más

Detalles adicionales de la fuente

• Formalizar argumentos y teoremas matemáticos avanzados en Lean 4, abarcando una amplia gama de disciplinas matemáticas