職位描述
人工智能
誠聘才華橫溢的數(shù)學家和計算科學研究員，助力開發(fā)智能計算的通用認知推理框架，涵蓋學習、推理等核心認知功能。
基本信息
? 工作地點：遠程 / 現(xiàn)場辦公（杭州/天津）
? 工作類型：全職
? 所屬部門：研究部
? 薪資：根據(jù)能力和崗位匹配程度面議
主要職責
1.開展數(shù)理邏輯、計算理論和認知形式化模型研究
2.開發(fā)智能系統(tǒng)通用推理框架
3.與跨學科團隊合作，整合邏輯和認知計算
4.在主要刊物發(fā)表和展示研究成果
任職資格
1.數(shù)學、理論計算機科學等相關(guān)領(lǐng)域碩士（或即將完成）
2.具備邏輯、形式系統(tǒng)或可計算性理論深厚背景
3.對認知建模和人工智能基礎(chǔ)感興趣
優(yōu)先考慮
1.熟悉類型論、范疇論或形式語義學
2.有邏輯框架經(jīng)驗（如 Coq、Agda 等）
3.相關(guān)領(lǐng)域博士學位（或即將取得）
申請材料
中英文簡歷+中英文研究介紹（如有）+出版物（如有）
基本信息
? 工作地點：遠程 / 現(xiàn)場辦公（杭州/天津）
? 工作類型：全職
? 所屬部門：研究部
? 薪資：根據(jù)能力和崗位匹配程度面議
主要職責
1.開展數(shù)理邏輯、計算理論和認知形式化模型研究
2.開發(fā)智能系統(tǒng)通用推理框架
3.與跨學科團隊合作，整合邏輯和認知計算
4.在主要刊物發(fā)表和展示研究成果
任職資格
1.數(shù)學、理論計算機科學等相關(guān)領(lǐng)域碩士（或即將完成）
2.具備邏輯、形式系統(tǒng)或可計算性理論深厚背景
3.對認知建模和人工智能基礎(chǔ)感興趣
優(yōu)先考慮
1.熟悉類型論、范疇論或形式語義學
2.有邏輯框架經(jīng)驗（如 Coq、Agda 等）
3.相關(guān)領(lǐng)域博士學位（或即將取得）
申請材料
中英文簡歷+中英文研究介紹（如有）+出版物（如有）
工作地點
天津西青區(qū)智能大廈
相似職位
- 算法工程師3-6萬
天津 - 武清
特變電工科技投資有限公司 - 人工智能工程師1.8-2.6萬
天津 - 東麗
施洛特汽車零部件(天津)有限公司 - 數(shù)理邏輯和范疇論研究員1-2萬
天津 - 西青
科伊思(杭州)人工智能科技有限公司 - AI算法工程師（工業(yè)智能化方向）7000-8000元
天津 - 南開
大連華泰臣科技服務(wù)有限公司 - 人工智能研發(fā)算法工程師1.2-1.8萬·13薪
天津 - 濱海新區(qū)
天津佩能能源科技發(fā)展有限公司 - 高級算法工程師（時序/振動/圖像/聲音）2.6-4萬
天津 - 河東
北京博數(shù)智源人工智能科技有限公司
熱門公司推薦
- 霸王茶姬招聘
- 肯德基招聘
- 順豐招聘
- 美團招聘
- 京東招聘
- 餓了么招聘
- 比亞迪招聘
- 中國一汽招聘
- 北京汽車招聘
- 蔚來招聘
- 東風汽車招聘
- 長城汽車招聘
- 奇瑞汽車招聘
- 理想汽車招聘
- 長鑫存儲招聘
- 天江藥業(yè)招聘
- 藍月亮招聘
- 安踏招聘
- TCL招聘
- 海信招聘
- 聯(lián)想招聘
- ?？低曊衅?/a>
- 寧德時代招聘
- 中興招聘
- 新松招聘
- 京東方招聘
- 申通招聘
- 圓通招聘
- 中通招聘
- 百世物流招聘
- 德邦物流招聘
- 麥當勞招聘
- 星巴克招聘
- 海底撈招聘
- 蜜雪冰城招聘
- 瑞幸招聘
- 雀巢招聘
- 騰訊招聘
- 百度招聘
- 快手招聘
- 字節(jié)跳動招聘
- 新華網(wǎng)招聘
- 小米招聘
- 招商銀行招聘
- 中信銀行招聘
- 北京銀行招聘
- 興業(yè)銀行招聘
- 交通銀行招聘
- 建發(fā)集團招聘
- 中國移動招聘
- 中國聯(lián)通招聘
- 中國電信招聘
- 中糧集團招聘
- 國藥控股招聘
- 中廣核招聘
- 中國船舶招聘
- 強生中國招聘
- 匯豐中國招聘
- 宜家招聘
- 立邦中國招聘
- 伊利招聘
- 青島啤酒招聘
- 京港地鐵招聘
- 寶馬招聘
- 小鵬汽車招聘
- 華為招聘
- 特斯拉招聘
- 吉利招聘
- 奔馳招聘
- 海爾招聘
- 美的招聘
- 京東方招聘
- 施耐德電氣招聘
- 德邦物流招聘
職位發(fā)布者
張女士/人力資源
三日內(nèi)活躍立即溝通
科伊思(杭州)人工智能科技有限公司科伊思（杭州）人工智能科技有限公司是一家總部位于杭州的新一代人工智能創(chuàng)新科技型公司，通過為第三代人工智能提供基礎(chǔ)科學的平臺，推動生物醫(yī)學、健康管理等領(lǐng)域的智能化升級。公司聚焦“認知智能協(xié)同運作系統(tǒng)（COIOS）”的研發(fā)與產(chǎn)業(yè)化，致力于在人工智能領(lǐng)域構(gòu)建起獨特的競爭優(yōu)勢。核心技術(shù)體系圍繞COIOS系統(tǒng)構(gòu)建，突破傳統(tǒng)AI的感知智能局限，打造具備哲學思考、概念建模、因果推理、自主決策能力的認知智能體，讓人工智能的功能與人類的功能更加類似。通過自主研發(fā)的技術(shù)，實現(xiàn)機器對復雜語義的理解與邏輯推演。特別是在生物醫(yī)學領(lǐng)域，已構(gòu)建覆蓋醫(yī)學影像學、藥物分子模擬、臨床決策支持的全棧式技術(shù)矩陣，相關(guān)算法在行業(yè)領(lǐng)先水平。長遠目標是成為全球AI領(lǐng)域的技術(shù)標桿企業(yè)，做出能夠真正成為人類伙伴的人工智能系統(tǒng)，提升人們生活水平，推動人類社會科學與經(jīng)濟發(fā)展。
公司主頁