Acerca del puesto
Descripción general de la oportunidad
Handshake busca matemáticos y científicos investigadores con experiencia para apoyar la investigación en IA mediante trabajo por contrato flexible y a tiempo parcial. Este no es un empleo tradicional: aprovecharás tu experiencia práctica en matemáticas puras o aplicadas para evaluar contenido generado por IA y proporcionar comentarios que ayuden a la IA a razonar como un matemático en ejercicio.
Esta es una oportunidad continua, basada en proyectos, que puedes asumir junto con tu puesto actual.
Qué harás
Usar tu experiencia en el dominio para crear problemas y escenarios matemáticos de nivel experto fundamentados en demostraciones reales, formalización y flujos de trabajo computacionales. Revisar y evaluar respuestas generadas por IA en cuanto a precisión técnica, rigor y alineación con cómo se realiza realmente el trabajo. Proporcionar comentarios escritos estructurados para ayudar a mejorar el rendimiento de los modelos de IA. Completar tareas a tu propio ritmo, sin horario fijo ni requisito mínimo de horas. Posible oportunidad de publicar junto con nuestro equipo de investigación.
Requisitos
Los candidatos ideales cumplen los tres requisitos siguientes:
Titulación — Doctorado en Matemáticas (puras o aplicadas) Profundidad en subdominios — experiencia demostrada en una de las siguientes áreas:
Demostración y métodos formales (Lean, Coq, Isabelle) Computación simbólica (SageMath, Mathematica), optimización y análisis numérico Un subcampo central como álgebra, topología/geometría, teoría de números, análisis o combinatoria También se anima a postularse a los candidatos que cumplan al menos 2 de los 3 requisitos anteriores.
Requisitos adicionales (no obligatorios, pero fortalecen tu candidatura)
Dominio de demostradores de teoremas y software de computación simbólica Experiencia en formalizar demostraciones o en trabajar en problemas en el límite de lo que los modelos de IA actuales pueden abordar
Obligatorio para todos los solicitantes
Debe contar con autorización de trabajo en EE. UU. Sólida comunicación escrita y atención al detalle Capacidad para explicar conceptos matemáticos complejos con claridad Capacidad para trabajar de forma independiente en un entorno remoto y asincrónico