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

职位：形式哲学家和逻辑学家
发布时间：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.参与开发实现认知功能的推理方法的一般理论和方法。开发归纳、类比、溯因和演绎的一般方法，这些方法可用于综合实现各个认知功能的过程。
5.参与开发不同类型有效性和真值的处理方法，确保在认知过程的多层次实施中对各种类型的真理进行综合处理。
6.参与开发精确认识论的形式理论和模态逻辑框架，其中对本体论问题的处理也是不可或缺的一部分。