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