关于此职位
机会概述
Handshake 正在寻找经验丰富的数学家和研究科学家，通过灵活的兼职合同工作来支持 AI 研究。这不是一份传统工作——你将运用自己在纯数学或应用数学方面的实践经验，评估 AI 生成的内容并提供反馈，帮助 AI 像执业数学家一样推理。
这是一个持续进行的、基于项目的的机会，你可以与当前工作同时进行。
你将做什么
运用你的领域专业知识，创建专家级的数学问题和场景，立足于真实证明、形式化和计算工作流 审查和评估 AI 生成的回答的技术准确性、严谨性以及与工作实际开展方式的一致性 提供结构化的书面反馈，帮助改进 AI 模型性能 按自己的节奏完成任务，没有固定时间表或最低工时要求
任职资格
理想候选人需满足以下全部三项：
研究经验——第一作者发表成果，以及形式化 AI 模型无法解决的证明的能力 学位——数学博士（纯数学或应用数学） 子领域深度——在以下领域之一展现出专业知识：
证明与形式化方法（Lean、Coq、Isabelle） 符号计算（SageMath、Mathematica）、优化和数值分析 代数、拓扑学、数论或组合数学等核心子领域
至少满足上述 3 项资格中 2 项的候选人也欢迎申请。
附加资格（非必需，但会增强你的申请）
熟练掌握定理证明器和符号计算软件 有形式化证明或研究当前 AI 模型能力边缘问题的经验
所有申请人的必备条件
必须拥有印度工作授权 较强的书面沟通能力和对细节的关注 能够清晰地解释复杂的数学概念 能够在远程、异步环境中独立工作