Experto en Matemáticas (Maestría/Ph.D.)

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 los clientes de dos maneras: primero, acelerando la investigación de vanguardia con datos de alta calidad, canales 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 propietaria con sistemas que funcionan de manera fiable, ofrecen un impacto medible en proyectos que mejoran y evalúan grandes modelos de lenguaje aplicando razonamiento matemático avanzado, resolución de problemas, pensamiento computacional y comunicación escrita clara, además de resultados duraderos en la cuenta de resultados.

Descripción del rol.

• En este rol, trabajarás en proyectos que mejoran y evalúan grandes modelos de lenguaje 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, particularmente al nivel esperado en exámenes de admisión de ingeniería, así como en programas de posgrado o doctorado.
• Debes ser capaz de desglosar conceptos matemáticos complejos en explicaciones sencillas y claras, y trabajar de manera eficiente.
• El rol también incluye proyectos computacionales donde diseñas prompts precisos y cerrados, escribes código Python fiable, verificas respuestas numéricas y proporcionas fundamentos claros.
• ¡Los proyectos también te ayudarán a aprender cómo aprovechar la IA para ser un mejor analista. Esta es tu oportunidad de preparar tu carrera para el futuro en un mundo impulsado por la IA!

Cómo es el día a día:

• Diseña problemas matemáticos originales y desafiantes que pongan a prueba los límites de razonamiento de los grandes modelos de lenguaje, especialmente en entornos de varios pasos, abstractos y basados en demostraciones.
• Resuelve problemas de forma independiente y escribe soluciones detalladas y lógicamente estructuradas con justificaciones claras.
• Revisa soluciones generadas por modelos, identifica errores matemáticos o argumentos faltantes, y proporciona comentarios precisos, anotaciones y correcciones.
• Contribuye a definir nuevos benchmarks de evaluación basados en planes de estudio de matemáticas que abarcan desde los primeros años universitarios hasta temas de nivel de doctorado.
• Desarrolla y valida soluciones basadas en Python para tareas computacionales utilizando bibliotecas científicas aprobadas.
• Trabaja en tareas de demostración de teoremas usando Lean, incluida la traducción de problemas matemáticos y demostraciones a lenguaje formal, verificando que las demostraciones formales compilen correctamente.

Requisitos:

• Habilidades analíticas: Buenas habilidades de investigación y análisis.
• Habilidades de retroalimentación: Capacidad para proporcionar comentarios constructivos y anotaciones detalladas.
• Pensamiento creativo: Habilidades de pensamiento creativo y lateral.
• Comunicación: Excelentes habilidades de comunicación estructurada y colaboración en un entorno remoto.
• Independencia: Motivación propia y capacidad para trabajar de forma independiente en un entorno remoto.
• Configuración técnica: Ordenador de escritorio o portátil con una buena conexión a internet.

Calificaciones preferidas:

• Los candidatos que cursan una maestría, un doctorado o un posgrado en Matemáticas, Matemáticas Aplicadas, Estadística o un campo relacionado son elegibles y se les anima a postularse.
• 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 lenguaje sencillo, elementos visuales y ejemplos.

Ventajas de trabajar como freelance con Turing:

• Trabaja en un entorno totalmente remoto.
• Oportunidad de trabajar en proyectos de IA de vanguardia con empresas líderes de LLM.
• Posibilidad de extensión de contrato según el rendimiento y las necesidades del proyecto.

Detalles de la oferta:

• Compromisos requeridos: al menos 4 horas al día y un mínimo de 20 horas por semana, con 4 horas de solapamiento con PST. (Tenemos 3 opciones de compromiso de tiempo: 20 horas/semana, 30 horas/semana o 40 horas/semana)
• Tipo de compromiso: Contrato de prestación de servicios / autónomo/freelance (sin baja médica ni pagada)