形式哲学家和逻辑学家
科伊思正在寻找一位热情且有才华的哲学家和逻辑学家，致力于开发一套连贯的概念、哲学和方法基础，并由精确的认识论加以整合，从而为人工智能奠定科学基础。
职责：
1.参与开发一套连贯的概念、哲学和方法基础，并由精确的认识论加以整合。精确的认识论应在为此目的而设计的模态逻辑框架中构建。
2.参与开发能够处理规律性、合法性和趋势性的信息提取的一般形式理论。
3.参与开发智能理论。除了开发一个连贯的概念体系外，还必须开发出可以实施各种认知功能的形式边界。与此相关，要对各种哲学思考进行阐释，如休谟、康德、皮尔士、波普尔等的思想。
4.参与开发实现认知功能的推理方法的一般理论和方法。开发归纳、类比、溯因和演绎的一般方法，这些方法可用于综合实现各个认知功能的过程。
5.参与开发不同类型有效性和真值的处理方法，确保在认知过程的多层次实施中对各种类型的真理进行综合处理。
6.参与开发精确认识论的形式理论和模态逻辑框架，其中对本体论问题的处理也是不可或缺的一部分。
Expectations from the job applicant for formal philosophers and logicians
COIOS (Tianjin) is looking for an enthusiastic and talented philosopher and logician researcher with keen attention to establishing the scientific foundation for AI by developing a coherent set of conceptual, philosophical, and methodological foundations, held together by a precise epistemology.
Responsibilities
(i)Participation in the development of a coherent set of conceptual, philosophical, and methodological foundations, held together by a precise epistemology. The precise epistemology should be built up in a modal logical framework designed for this purpose.
(ii)Participation in the development of the general formal theory of information extraction, which can handle both regularity, lawfulness, and tendency.
(iii)Participation in the development of the theory of intelligence. In addition to developing a coherent conceptual system, the formal boundaries within which various cognitive functions can be implemented must be developed. In connection with this, various philosophical considerations are interpreted, such as Hume, Kant, Peirce, Popper, etc.
(iv)Participation in the development of the general theory and methodology of reasoning methods that realize cognitive functions. The development of general methods of induction, analogy, abduction and deduction, which can be used to synthesize the processes that implement individual cognitive functions.
(v)Participation in the development of the treatment methodology for different types of validity and truth value, which ensures the integrated treatment of various types of truth in the multi-level implementation of cognitive processes
(vi)Participation in the development of the formal theoretical and modal logical framework of precise epistemology, of which the treatment of ontological questions is also an integral part
资质与技能：
潜在候选人应具备的预期学术和专业技能：
英语听说读写流利，要求大学英语四级（CET - 4）及以上水平，或具备同等英语能力，能满足日常工作中的英语使用需求，可做无障碍国际交流。
1.拥有哲学硕士或博士学位，专业方向为数理逻辑。
2.了解经典和非经典数理逻辑。
3.了解以数理逻辑为导向的人工智能基础的形式哲学方法。
4.了解相关方法和途径。
5.具有创造性思维，可以发现新机会。
6.对发现和开发新解决方案有科学兴趣。
7.具有有充分、透彻且令人信服的数学基础知识。
8.具备出色的沟通技巧。
9.乐于在团队协作的环境中工作。
工作地点及薪资待遇：
1.工作地点：天津或北京。
2.薪资待遇：根据能力和岗位匹配度，薪资可面议。

Salary： The salary is negotiable based on abilities and person-job fit.