【我们对你的要求】
【对人工智能推理与认知能力的前沿研究有强烈兴趣】。 关注AI领域的最新进展，熟悉人工通用智能（AGI）的研究热点和挑战
【具备扎实的数学基础】 优先考虑数学类专业背景的候选人，对包括但不限于高等数学、运筹学与控制论、优化理论、逻辑学、离散数学、图论等领域有兴趣和一定了解。 具有相关项目或研究经验更佳。
具有深度学习或机器学习项目实践经验
【加分项】有数学或计算机相关的竞赛经历，熟悉竞赛题型特点
【加分项】曾在人工智能、应用数学、认知科学领域的国际顶级会议或期刊上发表过论文
【加分项】热爱技术分享，具备较强的技术文档和论文写作能力
【加分项】对形式化证明有一定了解，熟悉lean4语法、有使用经验更佳
【加分项】具备批判性思维和创新意识，敢于提出新观点和创新方案
【加分项】拥有认知科学、神经科学、哲学等跨学科知识。 对认知过程、意识理论等有一定了解，能够从多学科角度思考人工智能的推理机制。