首席研究科学家（计算机科学/计算物理学）

职位名称：首席研究科学家（计算机科学/计算物理学）

职位类型：合同工（灵活，兼职或全职）

工作地点：远程

micro1 正在聘请首席研究科学家（计算机科学/计算物理学），参与一个处于计算理论与 AI 交叉领域的客户高级项目。在这一职位中，您将运用自己的专业知识，帮助训练下一代 AI 系统。您的工作将通过高质量的真实世界输入，塑造模型如何学习、推理和表现。无需具备 AI 相关经验——最重要的是您的领域知识。您将与前沿 AI 模型和智能体合作，攻克开放性问题，引领研究方向，并为科学突破制定标准。您的见解和严谨的方法，对于界定本子领域内何谓真正的进展将起到关键作用。

工作范围

• 识别、界定并阐明可展示可验证进展的基础性开放问题、理论界限或模拟挑战。
• 在多步骤研究过程中指导 AI 模型和智能体——范围涵盖从证明和算法到数值实验和高性能模拟。
• 批判性地评估和验证结果，利用证明核查、计算复现和形式化方法，精确找出模型生成推理的局限。
• 对照现有文献和既定成果，评估并记录研究产出的新颖性、正确性和重要性。
• 撰写清晰、简洁的研究备忘录，详述研究尝试、部分解决方案，以及观察到的模型局限或失败模式。
• 就研究方向提供建议，推荐适合借助 AI 模型和计算工具推进的有前景的子领域和开放性问题。

优先资质

• 在计算机科学或数学/计算物理学领域从事 7 - 10 年及以上的活跃研究，并有突出的学术贡献记录。
• 在领域层面获得认可——例如重要奖项、学会会士荣誉，或在顶级学术会议上做大会报告/特邀报告。
• 在所在领域的顶级刊物和会议上持续发表成果，且在过去一年内有最新成果发表。
• 已成功解决有名称的开放性问题，或提出了被同行采用的有影响力的概念。
• 在计算研究方法方面拥有深入的实践经验：模拟、数值分析、算法实现和/或高性能计算环境。
• 已证明有能力严谨审查自身直接专业领域之外的技术工作。
• 曾在程序委员会、编委会任职，或使用过形式化研究工具（例如 Lean、Coq、SAT/SMT 求解器）者优先，公开阐述开放性问题或借助先进 AI 系统展示研究成果的公开记录同样加分。