[北京天津]科伊思（天津）人工智能科技有限公司

职位：数理逻辑和范畴论数学研究员
发布时间：2025-03-31
工作地点：北京 天津
信息来源：南开大学
职位类型：全职
职位描述
数学研究员（数理逻辑和范畴论）
10000元以上

科伊思（天津）人工智能科技有限公司

职位投递邮箱： coios_hr@

职位投递网址链接： coios_hr@

工作地域：北京市 / 天津市 职位类别：科学研究人员 学历要求：博士研究生 招聘人数：1人

发布时间：2025-03-31

* 专业要求：

资质与技能：
潜在候选人应具备的预期学术和专业技能：
英语听说读写流利，要求大学英语四级（CET - 4）及以上水平，或具备同等英语能力，能满足日常工作中的英语使用需求，可做无障碍国际交流。
1.拥有数学硕士或博士学位，专业方向为数理逻辑。
2.了解经典和非经典数理逻辑。
3.了解理论计算机科学、人工智能技术和数学基础及基本技术。
4.了解相关方法和途径。
5.具有创造性思维，可识别新机会。
6.对发现和开发新解决方案有科学兴趣。
7.具有充分、透彻且令人信服的数学基础知识。
8.具备出色的沟通技巧。
9.乐于在团队协作的环境中工作。
工作地点及薪资待遇：
1.工作地点：天津或北京。
2.薪资待遇：根据能力和岗位匹配度，薪资可面议。

* 职位描述：

职责：
1.参与开发一种数学框架理论，该理论能够处理与人工智能相关的众多形式方法。数学框架理论应形式化处理智能的不同功能以及相关的计算过程。为此，它必须能够发展出一种通用的逻辑理论和一种通用的计算理论。
2.参与建立与人工智能相关的众多形式方法背后的理论和方法解决方案之间的联系。
3.参与开发一种通用的范畴逻辑，以便能够处理多种数理逻辑，因为从经典一阶逻辑到各种非经典逻辑（如模态逻辑、时间逻辑或时间管理逻辑）等广泛的逻辑被用于处理不同的计算情况。
4.参与开发一种通用的、更复杂的逻辑版本，它允许各个方面相互显示和相互映射。这是一个多层次的异层级逻辑系统，将在范畴论中开发，提供所谓的认知范畴逻辑。