职位需求 （投简历务必要中英文双版，谢谢）

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

Expectations from the job applicant for Mathematician researcher with a focus on mathematical logic and category theory
COIOS (Tianjin) is looking for an enthusiastic and talented Mathematician researcher with keen attention to developing a theory of mathematical framework theory for the scientific foundation of AI.
Responsibilities
(i)Participation in the development of a mathematical framework theory that enables the handling of the multitude of formal approaches related to AI. The mathematical framework theory should formally address the different functions of intelligence and the related computing processes. For this, it must enable the development of a general theory of logic and a general computing theory.
(ii)Participation in` the creation of a connection between the theoretical and methodological solutions underlying the multitude of formal approaches related to AI.
(iii)Participation in the development of a general categorical logic that allow to handle a diversity of mathematical logics, since a wide range of logics are used to handle different computational situations, from classical first-order logic to various non-classical logics, such as modal, time or time management logics;
(iv)Participation in the development of a general, more complex version of logic, which allows various aspects to be displayed and mapped into each other. This is the multi-level heterarchical logical system, which will be developed in category theory providing the so-called cognitive categorical logic.
资质与技能：
潜在候选人应具备的预期学术和专业技能：
英语听说读写流利，要求大学英语四级（CET - 4）及以上水平，或具备同等英语能力，能满足日常工作中的英语使用需求，可做无障碍国际交流。
1.拥有数学硕士或博士学位，专业方向为数理逻辑。
2.了解经典和非经典数理逻辑。
3.了解理论计算机科学、人工智能技术和数学基础及基本技术。
4.了解相关方法和途径。
5.具有创造性思维，可识别新机会。
6.对发现和开发新解决方案有科学兴趣。
7.具有充分、透彻且令人信服的数学基础知识。
8.具备出色的沟通技巧。
9.乐于在团队协作的环境中工作。
工作地点及薪资待遇：
1.工作地点：天津或北京。
2.薪资待遇：根据能力和岗位匹配度，薪资可面议。