我们正在搭建一套能够尽可能自动化开展科研工作的智能软件系统。系统将综合运用大语言模型、代码执行、文献检索、形式化推理与实验评估等能力，辅助完成从问题提出、资料调研和方案设计，到代码实现、结果验证及研究报告生成的完整流程。
项目初期将聚焦于容错量子计算，未来逐步扩展至量子计算理论的其他方向。
这一岗位会接触量子计算、量子纠错与容错架构等问题，但我们不要求候选人在入职时已经具备量子计算背景。只要你能在计算机科学、数学（包括lean等形式化工具）、科研能力或快速学习能力等方面展现出突出的综合素质，我们都非常欢迎。

我们正在招聘数学和计算机能力很强的同事，加入原子矩阵的量子计算方向。
这个岗位会涉及量子计算、容错架构、编译优化等问题，但不要求候选人一开始就是量子计算背景。我们更看重的是：你是否有很强的数学能力、算法能力，以及新领域的学习能力
如果你过去做过数学、计算机、算法竞赛、组合优化、概率论、信息论等方向，只要基础足够扎实，都非常欢迎聊聊。