Pure Mathematics Specialist – Freelance AI Trainer Project
Pure Mathematics Specialist – Freelance AI Trainer Project
Activa - Comprobada hace 10h
Tipo de Contrato: Freelance
Jornada Laboral: Otro / No especificado
Modalidad: Remoto
€
Salario anual bruto: 72800 - 135200
Años de experiencia: No especificado
Nivel Educativo: Doctorado
Idiomas: Inglés,Castellano
Descripción del puesto
- Especialista técnico en matemáticas puras con Lean 4 para entrenar modelos de IA, enfocándose en construcción y verificación de pruebas y en mejorar la razonamiento de modelos a gran escala.
- - Construir y evaluar pruebas complejas.
- - Justificar el razonamiento para garantizar corrección y rigor.
- - Traducir material a sintaxis .lean y colaborar en mejoras de prompts y marcos de evaluación.
Requisitos clave
- - Doctorado en matemáticas puras o postdoctorado en matemáticas
- - Dominio de Lean 4 y experiencia como asistente de pruebas
- - Conocimientos en probabilidad, teoría de medida, análisis y álgebra; habilidad de razonamiento metacognitivo
Más ofertas de Informática / Tecnología en Otro / No especificado
Developer Full Stack AEM - Plexus Tech
Plexus
No especificado (Otro / No especificado)
Analytics Engineer
Deloitte
París (Otro / No especificado)
Data Operations Lead - OpenData (Remote)
Veeva Systems
Desconocido (Otro / No especificado)
Cloud Infraestructure Services Consultant
Capgemini
Barcelona (Otro / No especificado)
Senior Software Engineer - Integrations, Crawler
Truv
Remoto (Otro / No especificado)
Full stack web developer
Oi Real Estate
(Otro / No especificado)