更新于 11月5日

数理逻辑与计算理论研究员

1-2万
  • 天津西青区
  • 1-3年
  • 硕士
  • 全职
  • 招1人

职位描述

人工智能
诚聘才华横溢的数学家和计算科学研究员,助力开发智能计算的通用认知推理框架,涵盖学习、推理等核心认知功能。
基本信息
• 工作地点:远程 / 现场办公(杭州/天津)
• 工作类型:全职
• 所属部门:研究部
• 薪资:根据能力和岗位匹配程度面议
主要职责
1.开展数理逻辑、计算理论和认知形式化模型研究
2.开发智能系统通用推理框架
3.与跨学科团队合作,整合逻辑和认知计算
4.在主要刊物发表和展示研究成果
任职资格
1.数学、理论计算机科学等相关领域硕士(或即将完成)
2.具备逻辑、形式系统或可计算性理论深厚背景
3.对认知建模和人工智能基础感兴趣
优先考虑
1.熟悉类型论、范畴论或形式语义学
2.有逻辑框架经验(如 Coq、Agda 等)
3.相关领域博士学位(或即将取得)
申请材料
中英文简历+中英文研究介绍(如有)+出版物(如有)

工作地点

天津西青区智能大厦

职位发布者

张女士/人力资源

立即沟通
公司Logo科伊思(杭州)人工智能科技有限公司
科伊思(杭州)人工智能科技有限公司是一家总部位于杭州的新一代人工智能创新科技型公司,通过为第三代人工智能提供基础科学的平台,推动生物医学、健康管理等领域的智能化升级。公司聚焦“认知智能协同运作系统(COIOS)”的研发与产业化,致力于在人工智能领域构建起独特的竞争优势。核心技术体系围绕COIOS系统构建,突破传统AI的感知智能局限,打造具备哲学思考、概念建模、因果推理、自主决策能力的认知智能体,让人工智能的功能与人类的功能更加类似。通过自主研发的技术,实现机器对复杂语义的理解与逻辑推演。特别是在生物医学领域,已构建覆盖医学影像学、药物分子模拟、临床决策支持的全栈式技术矩阵,相关算法在行业领先水平。长远目标是成为全球AI领域的技术标杆企业,做出能够真正成为人类伙伴的人工智能系统,提升人们生活水平,推动人类社会科学与经济发展。
公司主页