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