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

职位：理论计算研究员
发布时间：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.参与开发允许分析实现理论与不同类型复杂性之间关系的方法。