Acerca del puesto
Acerca de Turing: Con sede en San Francisco, California, Turing es el principal acelerador de investigación del mundo para laboratorios de IA de vanguardia y un socio de confianza para empresas globales que implementan sistemas de IA avanzados. Turing apoya a sus clientes de dos maneras: primero, acelerando la investigación de vanguardia con datos de alta calidad, pipelines de entrenamiento avanzados y los mejores investigadores de IA especializados en programación, razonamiento, STEM, multilingüismo, multimodalidad y agentes; y segundo, aplicando esa experiencia para ayudar a las empresas a transformar la IA de una prueba de concepto en inteligencia propia, con sistemas que funcionan de forma fiable, ofrecen medible en proyectos que mejoran y evalúan modelos de lenguaje de gran tamaño aplicando razonamiento matemático avanzado, resolución de problemas, pensamiento computacional y comunicación escrita clara impacto, y resultados duraderos en la cuenta de resultados (P&L).
Descripción del puesto.
- En este puesto trabajará en proyectos que mejoran y evalúan modelos de lenguaje de gran tamaño aplicando razonamiento matemático avanzado, resolución de problemas, pensamiento computacional y comunicación escrita clara.
- El candidato ideal debe tener una base sólida en matemáticas, en particular al nivel que se espera en los exámenes de acceso a ingeniería, así como en programas de posgrado o de doctorado.
- Debe ser capaz de descomponer conceptos matemáticos complejos en explicaciones simples y claras y trabajar con eficiencia.
- El puesto también incluye proyectos computacionales en los que diseñará prompts precisos y de respuesta cerrada, escribirá código Python fiable, verificará respuestas numéricas y ofrecerá justificaciones claras.
- Los proyectos también le ayudarán a aprender a aprovechar la IA para ser un mejor analista. Esta es su oportunidad de preparar su carrera para el futuro en un mundo centrado en la IA.
Cómo es el día a día:
- Diseñar problemas de matemáticas originales y exigentes que pongan a prueba los límites de razonamiento de los modelos de lenguaje de gran tamaño, especialmente en contextos de varios pasos, abstractos y basados en demostraciones.
- Resolver problemas de forma independiente y redactar soluciones detalladas y estructuradas lógicamente, con justificaciones claras.
- Revisar las soluciones generadas por los modelos, identificar errores matemáticos o argumentos que faltan, y ofrecer comentarios, anotaciones y correcciones precisos..
- Contribuir a definir nuevos puntos de referencia de evaluación basados en planes de estudio de Matemáticas que abarcan desde temas de los primeros cursos de grado hasta el nivel de doctorado.
- Desarrollar y validar soluciones basadas en Python para tareas computacionales utilizando bibliotecas científicas aprobadas.
- Trabajar en tareas de demostradores de teoremas con Lean, incluida la traducción de problemas y demostraciones matemáticas a lenguaje formal y la verificación de que las demostraciones formales compilan correctamente.
Requisitos:
- Habilidades analíticas: Buenas habilidades de investigación y análisis
- Habilidades de retroalimentación: Capacidad para ofrecer comentarios constructivos y anotaciones detalladas.
- Pensamiento creativo: Capacidad de pensamiento creativo y lateral.
- Comunicación: Excelentes habilidades de comunicación estructurada y colaboración en un entorno remoto.
- Independencia: Automotivación y capacidad para trabajar de forma independiente en un entorno remoto.
- Configuración técnica: Ordenador de sobremesa o portátil configurado con una buena conexión a internet.
Cualificaciones preferidas:
- Pueden postularse, y se les anima a hacerlo, los candidatos que cursen un Máster/Ph.D./Posdoctorado en Matemáticas, Matemáticas Aplicadas, Estadística o un campo afín.
- Capacidad para analizar y resolver problemas matemáticos complejos con un enfoque estructurado y lógico.
- Capacidad para explicar conceptos matemáticos con claridad utilizando un lenguaje sencillo, recursos visuales y ejemplos.
Ventajas de trabajar como freelance con Turing:
- Trabajo en un entorno totalmente remoto.
- Oportunidad de trabajar en proyectos de IA de vanguardia con las principales empresas de LLM.
- Posible ampliación del contrato según el desempeño y las necesidades del proyecto.
Detalles de la oferta:
- Dedicación requerida: al menos 4 horas al día y un mínimo de 20 horas por semana, con 4 horas de solapamiento con el horario PST. (Tenemos 3 opciones de dedicación horaria: 20 h/semana, 30 h/semana o 40 h/semana)
- Tipo de contratación: Asignación como contratista/freelance (sin cobertura médica ni permisos remunerados)