Acerca del puesto
Resumen 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: utilizará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 rol actual.
Lo que harás
Usar tu experiencia en el dominio para crear problemas y escenarios matemáticos de nivel experto basados en demostraciones, formalización y flujos de trabajo computacionales reales Revisar y evaluar respuestas generadas por IA en cuanto a precisión técnica, rigor y alineación con la forma en que realmente se realiza el trabajo Proporcionar comentarios escritos estructurados para ayudar a mejorar el rendimiento de los modelos de IA Completar tareas a tu propio ritmo, sin un horario fijo ni un requisito mínimo de horas
Requisitos
Los candidatos ideales cumplen los tres requisitos siguientes:
Experiencia en investigación: publicaciones como primer autor y la capacidad de formalizar demostraciones en las que los modelos de IA fallan Titulación: doctorado en Matemáticas (puras o aplicadas) Profundidad en un subdominio: 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, teoría de números 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 formalizando demostraciones o trabajando en problemas en el límite de lo que los modelos de IA actuales pueden manejar
Obligatorio para todos los solicitantes
Debe contar con autorización de trabajo en India 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 asíncrono