职位详情
数理逻辑与计算理论研究员
1-2万
科伊思(杭州)人工智能科技有限公司
天津
1-3年
硕士
08-11
工作地址

智能大厦

职位描述

诚聘才华横溢的数学家和计算科学研究员,助力开发智能计算的通用认知推理框架,涵盖学习、推理等核心认知功能。

基本信息

• 工作地点:远程 / 现场办公(杭州/天津)

• 工作类型:全职

• 所属部门:研究部

• 薪资:根据能力和岗位匹配程度面议

主要职责

1.开展数理逻辑、计算理论和认知形式化模型研究

2.开发智能系统通用推理框架

3.与跨学科团队合作,整合逻辑和认知计算

4.在主要刊物发表和展示研究成果

任职资格

1.数学、理论计算机科学等相关领域硕士(或即将完成)

2.具备逻辑、形式系统或可计算性理论深厚背景

3.对认知建模和人工智能基础感兴趣

优先考虑

1.熟悉类型论、范畴论或形式语义学

2.有逻辑框架经验(如 Coq、Agda 等)

3.相关领域博士学位(或即将取得)

申请材料

中英文简历+中英文研究介绍(如有)+出版物(如有)

以担保或任何理由索取财物,扣押证照,均涉嫌违法,请提高警惕

立即申请