高级算法工程师(时序/振动/图像/声音)
2.6-4万
天津 硕士
智能大厦
诚聘才华横溢的数学家和计算科学研究员,助力开发智能计算的通用认知推理框架,涵盖学习、推理等核心认知功能。
• 工作地点:远程 / 现场办公(杭州/天津)
• 工作类型:全职
• 所属部门:研究部
• 薪资:根据能力和岗位匹配程度面议
主要职责1.开展数理逻辑、计算理论和认知形式化模型研究
2.开发智能系统通用推理框架
3.与跨学科团队合作,整合逻辑和认知计算
4.在主要刊物发表和展示研究成果
1.数学、理论计算机科学等相关领域硕士(或即将完成)
2.具备逻辑、形式系统或可计算性理论深厚背景
3.对认知建模和人工智能基础感兴趣
1.熟悉类型论、范畴论或形式语义学
2.有逻辑框架经验(如 Coq、Agda 等)
3.相关领域博士学位(或即将取得)
中英文简历+中英文研究介绍(如有)+出版物(如有)
以担保或任何理由索取财物,扣押证照,均涉嫌违法,请提高警惕