国产精品又长又粗又爽又黄的毛片, 国产AV无码专区亚洲AV毛片搜, 丰满人妻被猛烈进入中文字幕四川, 国产精品一区二区三区国产女人喷,亚洲国产欧美日韩图片在线人,潘娇娇337p人艺体艺术,成人免费无码大片a毛片古装,一本到高清视频免费,人妻在线视频免费看

更新于 今天

數(shù)理邏輯與計算理論(認知推理)研究員

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

職位描述

認知推理框架人工智能
主要職責?
1.開展數(shù)理邏輯、計算理論和認知形式化模型研究?
2.開發(fā)智能系統(tǒng)通用推理框架?
3.與跨學科團隊合作,整合邏輯和認知計算?
4.在主要刊物發(fā)表和展示研究成果?
任職資格?
1.數(shù)學、理論計算機科學等相關領域碩士(或即將完成)?
2.具備邏輯、形式系統(tǒng)或可計算性理論深厚背景?
3.對認知建模和人工智能基礎感興趣?
優(yōu)先考慮?
1.熟悉類型論、范疇論或形式語義學?
2.有邏輯框架經驗(如 Coq、Agda 等)?
3.相關領域博士學位(或即將取得)?
申請材料?
簡歷 + 研究簡介 + 出版物

工作地點

天津西青區(qū)中聯(lián)產業(yè)園

職位發(fā)布者

岳婧/人事經理

昨日活躍
立即溝通
公司Logo科伊思(天津)人工智能科技有限公司
科伊思(天津)人工智能科技有限公司是一家新一代人工智能創(chuàng)新科技型公司,總部位于中國天津。致力于通過新一代人工智能技術重構人機協(xié)作生態(tài),推動生物醫(yī)學、健康管理等領域的智能化升級。公司聚焦“認知智能協(xié)同運作系統(tǒng)(COIOS)”的研發(fā)與產業(yè)化,致力于在人工智能領域構建起獨特的競爭優(yōu)勢。公司深耕認知智能技術研發(fā)與應用,重點布局生物醫(yī)學、健康管理、科研服務等業(yè)務板塊。核心技術體系圍繞COIOS系統(tǒng)構建,突破傳統(tǒng)AI的感知智能局限,打造具備哲學思考、概念建模、因果推理、自主決策能力的認知智能體,讓人工智能的功能與人類的功能更加類似。通過自主研發(fā)的技術,實現(xiàn)機器對復雜語義的理解與邏輯推演。特別是在生物醫(yī)學領域,已構建覆蓋醫(yī)學影像學、藥物分子模擬、臨床決策支持的全棧式技術矩陣,相關算法在行業(yè)領先水平。公司目前已與清華大學部分學院等達成合作共同研究,并聚焦醫(yī)療健康等高價值場景,與國內多家醫(yī)院達成合作并投入實際應用。作為人工智能產業(yè)鏈的關鍵技術供應商,公司在上游基礎算法層具有技術標準制定能力,在中游應用層提供智能中樞系統(tǒng),下游則通過生態(tài)伙伴實現(xiàn)行業(yè)解決方案落地,長遠目標是成為全球AI領域的技術標桿企業(yè),做出能夠真正成為人類伙伴的人工智能系統(tǒng),提升人們生活水平,推動人類社會科學與經濟發(fā)展。
公司主頁