诚聘数学家研究员，需精通数理逻辑与范畴理论，致力于构建人工智能的严谨数学框架，打造认知、推理、学习及计算的数学模型，奠定下一代智能系统的科学根基。

• 工作地点：远程 / 现场办公（杭州/天津）

• 工作类型：全职

• 所属部门：研究部

• 薪资：根据能力和岗位匹配程度面议

1.深耕数理逻辑、范畴论与理论人工智能交叉领域，开展原创研究

2.运用分类和逻辑方法，构建认知、学习及推理的形式化基础

3.探究可模拟信息流与智能系统的分类结构

4.与跨学科团队协作

5.在顶尖期刊发表成果，并参与国际会议演讲

1.拥有数学、理论计算机科学等相关领域硕士学位

2.具备数理逻辑（含证明论、模型论等）和范畴论（含拓扑理论等）深厚功底

3.对人工智能和认知计算基础问题有研究热忱

1.熟悉机器学习和计算的分类模型等

2.有抽象结构形式化经验

3.在相关领域高质量刊物发表过文章

4.持有相关领域博士学位（或即将取得）

1. 专注智能深层结构研究的良好环境

2.参与塑造人工智能范式理论基础的宝贵契机

3.跨学科合作的优质平台

4.具有竞争力的资助、研究支持及出差机会

1.中英文个人简历

2.中英文研究声明（≤2 页）：（如有）阐述对人工智能数学基础的愿景

3.部分出版物或预印本（如有）

4.中英文简要描述（≤1 页）：（如有）说明研究专长在人工智能基础研究中的应用