[北京]清华大学交叉信息研究院

职位：AI形式化数学工程方向工程师
发布时间：2026-04-26
工作地点：北京
信息来源：清华大学招聘网
职位类型：全职
专业标签：计算机
职位描述
工程师（AI形式化数学工程方向）

发布日期:2026-04-26
截止日期:2026-05-15

交叉信息研究院|招1人

所需专业:计算机相关专业
资质要求:无

学习经历及工作经历满足以下条件之一 ：
1.学位要求本科及以上 并且 工作年限要求不限

核心职责及次要职责：
1. 参与 AI+数学方向相关工程系统的设计、开发与维护。2. 在智能体辅助框架下，开展数学文本到 Lean 等形式化语言的自动翻译系统开发。3. 参与数学教材、证明陈述、论证过程等内容的结构化处理、数据构建与工程化实现。4. 参与自动证明相关工具链、评测体系、数据流程和研发平台建设。5. 配合团队博士生及科研人员，推进原型系统迭代、工程部署与实验支持。6. 完成项目相关的代码开发、文档整理、系统维护及其他工程任务。

其他要求：
1. 具备扎实的编程基础。2. 具备较好的数学基础、逻辑能力与抽象思维能力。4. 对 AI、智能体、自动推理、形式化证明、编程语言或系统工程等方向有兴趣者优先。5. 责任心强，执行力好。6. 具备良好的沟通协作能力。

联系人及联系方式：
联系人:吕老师
联系电话:62797832
联系邮箱:iiisadm@

为什么选择清华
清华大学的前身清华学堂始建于1911年，历经一百零八载风华，始终以高深的学术造诣、严谨的科学精神、深挚的爱国热情和精深的文化底蕴，蜚声中外。
水木清华，钟灵毓秀。一代代清华人在“自强不息、厚德载物”的校训和“行胜于言”的校风中哺育，在“中西融汇、古今贯通、文理渗透”的办学风格和“又红又专、全面发展”的特色培养中成长。从这里毕业的二十余万学子，成长为一批批为中华民族发展立下汗马功劳的学术大师、兴业英才、治国人才，在国家的建设与腾飞中牢记使命，勇担重任。百年清华，名师荟萃，众多博古通今、学贯中西的大家名师曾执教讲坛、垂范学子；今日清华，群贤汇聚，现有高水平教师3000余人，拥有全国高校最多的两院院士、教学名师、长江学者、海外人才计划入选者和国家杰出青年基金获得者，还活跃着一大批享誉世界的学术大师和中青年领军人才。
新时代、新使命、新征程。2017年清华大学提出了2030年迈入世界一流大学前列，2050年前后成为世界顶尖大学的奋斗目标。为了实现这一历史使命，清华大学求贤若渴，诚邀您的加盟，与国际领先的科学家和创新团队一起，扎根中国、融通中外，以海纳百川的胸怀，博采中西文化之精华，在持续奋斗中不断进取，在比较借鉴中实现超越，共同推动具有中国特色的世界顶尖大学建设，共同助力世界科技强国建设。
百年清华，珍爱人才。清华人深知人才是学校发展的血脉，一代代清华人艰苦奋斗，不断为人才发展创造优越条件。现在，这里有全球领先的科研平台、锐意进取的学术同行、如饥似渴的顶尖学子、优越的生活保障，更有中华大地蓬勃兴起的产业创新舞台与历史机遇。
恰如清华园内对联所书——“槛外山光历春夏秋冬万千变幻都非凡境，窗中云影任东西南北去来澹荡洵是仙居”。百余年的厚重积淀和创新发展给予清华人自信和力量。新的百年，更美的清华园、更创新、更国际、更人文的清华等您来！