职位需求（投简历务必要中英文双版，谢谢）
数学研究员（侧重于数理逻辑和计算理论）
COIOS 研究所正在寻找一位热情且有才华的数学家和计算科学家，致力于开发一种一般认知推理框架，该框架适用于在智能计算范式中实现各种认知功能，如认知、问题解决、决策、在不确定情况下的定向以及对未知事物的理论化。
职责：
1.参与早期开发的修改逻辑的一般化。该逻辑应能够处理数据、信息和知识，与之相关的处理过程以及生成新知识的认知过程。一般化后的逻辑应能够处理单级和多级推理过程。
2.参与开发认知推理的一般理论，即基于一般修改逻辑的认知推理框架（CRF）。这个框架将能够处理单级和多级推理过程。对于推理过程的综合，CRF可以结合合情和可靠的推理模式，并且在必要时可以通过处理可用数据提取缺失的信息。CRF 将一般化该领域几乎所有当前的方法，如概率推理、统计推理、启发式推理、近似推理以及基于模型的推理等。
3.通过问题导向数据处理方法（例如深度学习），参与开发适合在 CRF 中进行协作工作的信息提取方法。
4.参与开发支持问题导向的将修改计算和子符号方法进行组合的方法。
5.参与在 CRF 中开发各种合情推理方法，如概率计算、可能性计算、模糊计算、近似集和粗糙集方法、基于案例和基于模型的方法等。
6.参与开发用于对各种认知过程（认知、决策、问题解决、博弈）进行逻辑管理的方法。推理过程的情境组织 —— 语义和意义特征。
7.参与开发用于支持在复杂信息处理和认知推理中检测和解决实际不确定性的方法。
8.参与开发将认知推理过程组织为两个层次的方法：经验（内部）层次和理论（外部）层次。
9.参与开发用于支持将外部知识封装为内部知识的方法和工具。通过使用这些工具，系统将能够将经验知识应用于理论构建。
参与开发在 CRF 中进行知识表示和管理以及控制其变化动态的方法。

Responsibilities
(i)Participation in the generalisation of modification logic developed earlier. This logic should be able to handle data, information and knowledge, the processing processes associated with them, and the cognitive processes leading to new knowledge. The generalisation should be able to work with single- and multi-level reasoning processes.
(ii)Participation in the development of a general theory of cognitive reasoning, the so-called cognitive reasoning framework (CRF) based on the general modification logic. This framework will be able to handle single- and multi-level reasoning processes. For the synthesis of reasoning processes, CRF can combine plausible and reliable modes of reasoning and, if necessary, can extract the missing information by processing the available data. CRF will generalize almost all the current approaches in this area, such as probabilistic, statistical, heuristic, and approximate reasoning, as well as model-based reasoning, etc.
(iii)Participation in the development of information extraction methods appropriate for collaborative work in CRF by using problem oriented data processing methods (e.g. deep learning),
(iv)Participation in the development of methods that support problem-oriented combination of modification calculus and sub-symbolic methods
(v)Participation in the development of various plausible reasoning methods in CRF such as probabilistic, possibility, and fuzzy calculi, approximative and rough set methods, case and model-based methods, etc.
(vi)Participation in the development of the methodology for logical management of various cognitive processes (cognition, decision-making, problem-solving, gaming). Situational organization of the reasoning processes - semantics and meaning characteristics.
(vii)Participation in the development of the methodology for supporting to detect and resolve actual uncertainties with complex information processing and cognitive reasoning.
(viii)Participation in the development of the methodology for organizing cognitive reasoning processes into two levels: the empirical (internal) and the theoretical (external) ones.
(ix)Participation in the development of the methods and tools for supporting the encapsulation of external knowledge into internal knowledge. By using these tools, the system will be able to apply empirical knowledge to theoretical constructions.
(x)Participation in the development of the methods for knowledge representation and management in CRF and controlling the dynamics of its changing

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

Qualifications and Skills
The expected academic and professional skills to be possessed by a potential candidate:
Fluent in written and spoken English, CET-4 or equivalent English ability, able to meet the needs of daily work, and able to communicate fluently in English.
Master’s degree or doctorate in mathematics with a focus on mathematical logic and computing theory
Understanding of classical and non-classical mathematical logics
Understanding of technological and mathematical foundations of AI and its basic techniques
Knowledge of relevant approaches and methods (e.g. probability logic etc.)
Creative thinking to recognize new opportunities
Scientific interest in discovering and developing new solutions
Adequate, thorough and convincing knowledge of mathematical foundations
Excellent communication skills
Ready to work within a collaborative environment with teams
Working Place & Salary
Working place： Tianjin or Beijing
Salary： The salary is negotiable based on abilities and person-job fit.