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