国产中文无码av每日更新在线观看, 亚洲天堂中文字幕一区二区三区免费, 国产口爆吞精在线观视频-黄色国产, 92福利-国内精品久久久久久99,亚洲成AV人A片不卡无码,浪潮AV无码专区,老熟女败火白浆,中文字幕日产av,色情日本免费看大片

更新于 11月5日

數理邏輯與計算理論研究員

1-2萬
  • 天津西青區(qū)
  • 1-3年
  • 碩士
  • 全職
  • 招1人

職位描述

人工智能
誠聘才華橫溢的數學家和計算科學研究員,助力開發(fā)智能計算的通用認知推理框架,涵蓋學習、推理等核心認知功能。
基本信息
? 工作地點:遠程 / 現場辦公(杭州/天津)
? 工作類型:全職
? 所屬部門:研究部
? 薪資:根據能力和崗位匹配程度面議
主要職責
1.開展數理邏輯、計算理論和認知形式化模型研究
2.開發(fā)智能系統(tǒng)通用推理框架
3.與跨學科團隊合作,整合邏輯和認知計算
4.在主要刊物發(fā)表和展示研究成果
任職資格
1.數學、理論計算機科學等相關領域碩士(或即將完成)
2.具備邏輯、形式系統(tǒng)或可計算性理論深厚背景
3.對認知建模和人工智能基礎感興趣
優(yōu)先考慮
1.熟悉類型論、范疇論或形式語義學
2.有邏輯框架經驗(如 Coq、Agda 等)
3.相關領域博士學位(或即將取得)
申請材料
中英文簡歷+中英文研究介紹(如有)+出版物(如有)

工作地點

天津西青區(qū)智能大廈

職位發(fā)布者

張女士/人力資源

今日活躍
立即溝通
公司Logo科伊思(杭州)人工智能科技有限公司
科伊思(杭州)人工智能科技有限公司是一家總部位于杭州的新一代人工智能創(chuàng)新科技型公司,通過為第三代人工智能提供基礎科學的平臺,推動生物醫(yī)學、健康管理等領域的智能化升級。公司聚焦“認知智能協(xié)同運作系統(tǒng)(COIOS)”的研發(fā)與產業(yè)化,致力于在人工智能領域構建起獨特的競爭優(yōu)勢。核心技術體系圍繞COIOS系統(tǒng)構建,突破傳統(tǒng)AI的感知智能局限,打造具備哲學思考、概念建模、因果推理、自主決策能力的認知智能體,讓人工智能的功能與人類的功能更加類似。通過自主研發(fā)的技術,實現機器對復雜語義的理解與邏輯推演。特別是在生物醫(yī)學領域,已構建覆蓋醫(yī)學影像學、藥物分子模擬、臨床決策支持的全棧式技術矩陣,相關算法在行業(yè)領先水平。長遠目標是成為全球AI領域的技術標桿企業(yè),做出能夠真正成為人類伙伴的人工智能系統(tǒng),提升人們生活水平,推動人類社會科學與經濟發(fā)展。
公司主頁