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