主要職責?
- 深耕數(shù)理邏輯、范疇論與理論人工智能交叉領域,開展原創(chuàng)研究?
- 運用分類和邏輯方法,構建認知、學習及推理的形式化基礎?
- 探究可模擬信息流與智能系統(tǒng)的分類結構?
- 與跨學科團隊協(xié)作
- 在頂尖期刊發(fā)表成果,并參與國際會議演講?
任職資格
1.擁有數(shù)學、理論計算機科學等相關領域碩士學位?
2.具備數(shù)理邏輯(含證明論、模型論等)和范疇論(含拓撲理論等)深厚功底3
3.對人工智能和認知計算基礎問題有研究熱忱?
優(yōu)先考慮
1.熟悉機器學習和計算的分類模型等
2.有抽象結構形式化經(jīng)驗
3.在相關領域高質量刊物發(fā)表過文章?
4.持有相關領域博士學位(或即將取得)?
我們期待能將數(shù)學理論與人工智能實際問題相結合,且熱衷于開發(fā)人工智能基礎數(shù)學的你加入。?
我們提供?
1.專注智能深層結構研究的良好環(huán)境?
2.參與塑造人工智能范式理論基礎的寶貴契機
3.跨學科合作的優(yōu)質平臺
4.具有競爭力的資助、研究支持及出差機會?
申請說明?
請將以下材料發(fā)送至指定郵箱:?
1.個人簡歷?
2.研究聲明(≤2 頁):闡述對人工智能數(shù)學基礎的愿景?
3.部分出版物或預印本
4.簡要描述(≤1 頁):說明研究專長在人工智能基礎研究中的應用?
期待你的加入,共探人工智能的數(shù)學基礎!