自动化研究系统架构师

岗位简介

我们正在搭建一套能够尽可能自动化开展科研工作的智能软件系统。系统将综合运用大语言模型、代码执行、文献检索、形式化推理与实验评估等能力，辅助完成从问题提出、资料调研和方案设计，到代码实现、结果验证及研究报告生成的完整流程。

项目初期将聚焦于容错量子计算，未来逐步扩展至量子计算理论的其他方向。

这一岗位会接触量子计算、量子纠错与容错架构等问题，但我们不要求候选人在入职时已经具备量子计算背景。只要你能在计算机科学、数学（包括lean等形式化工具）、科研能力或快速学习能力等方面展现出突出的综合素质，我们都非常欢迎。

岗位职责

设计并实现自动化研究系统的整体架构；

基于大语言模型构建智能体、工具调用、任务规划与多步骤推理流程；

搭建文献检索、知识管理、代码生成、实验执行和结果验证等模块；

将量子计算需要解决的科研问题转化为可执行、可评估、可迭代的软件任务；

持续跟踪大模型、智能体系统及自动化科研领域的最新进展。

任职要求

对主流前沿大语言模型的能力、局限和适用场景有较深入的理解；

具备基于大语言模型开发实际软件系统的经验，熟悉提示词设计、工具调用、检索增强生成（RAG）或智能体工作流等内容；

具备扎实的软件工程能力，能够独立完成系统设计、编码、测试、调试与性能优化；

具备较强的自主学习与研究能力，能够快速进入陌生技术领域；

加分项

具有形式化验证或自动定理证明（如使用lean等形式化证明语言）相关经验；

具有容错量子计算等背景；

有大模型智能体、自动化科研、代码智能体或复杂工作流系统的开发经验；

熟悉分布式系统、异步任务调度、容器化或云计算基础设施；