岗位职责：
1. 开发处理 AI 形式方法的数学框架理论，形式化智能功能与计算，构建通用逻辑和计算理论。
2. 建立 AI 形式方法的理论与解决方案关联。
3. 开发通用范畴逻辑，涵盖经典与非经典数理逻辑。
4. 开发认知范畴逻辑，实现多方面映射。
任职要求： （投递岗位，务必符合专业及专业方向并在相关领域深耕不少于三年，不符合条件者勿投）
1. 数学硕士，数理逻辑专业。
2. 熟悉经典和非经典数理逻辑。
3. 了解理论计算机科学与 AI 技术基础。
4. 知晓相关方法。
5. 有创造性思维，能发现新机会。
6. 对新方案有兴趣。
7. 数学基础好，沟通能力出色，乐于团队合作。
8.英语CET-6，熟练听说读写。
9.工作地点：天津或者杭州。