纽约州立大学韩国校区招收AI与编程语言方向博士生

招生简介

纽约州立大学韩国校区（State University of New York, Korea，简称 SUNY Korea）计算机科学项目现招收博士生。学生将在全英文、国际化的环境中学习和研究，完成与美国石溪大学（Stony Brook University）相衔接的培养方案并获得石溪大学学位。SUNY Korea 与石溪大学纽约校区的计算机科学项目联系紧密，为跨校区合作提供了良好条件。（诺贝尔物理学奖得主杨振宁教授曾在石溪大学任教33年。）

研究方向

我们的研究位于人工智能与编程语言理论及应用的交叉地带。核心方向包括：

• AI 与编程语言：运用编程语言方法提升 AI 系统及 AI 辅助软件的效率、可靠性与可信性；
• 编译技术：研究程序分析、转换与优化方法；
• 形式化方法：建立严谨的软件行为分析与正确性验证技术；
• 浮点计算：提升数值程序的精度、可靠性与性能。

具体课题将结合学生的兴趣、背景和可用研究机会共同确定。我们尤其欢迎对现代 AI 充满热情，同时希望深入理解程序、编译器、逻辑推理和数值计算基本原理的申请者。

申请条件

• 计算机科学、软件工程、数学、电子工程或其他相关专业背景；
• 具备扎实的编程能力和良好的数学基础；
• 对上述研究方向具有真正的兴趣，并愿意开展严谨、高质量的研究；
• 具备优秀的英语交流和学术写作能力，并满足学校正式录取要求。

申请博士项目不要求必须已获得硕士学位；优秀的本科毕业生可直接申请。最终录取资格以学校官方规定和审核结果为准。

经费支持

本课题组招收的博士生通常通过以下一种形式获得支持：全额或部分教学助理岗位（TA），或研究助理岗位（RA）。具体安排会在录取过程中根据个人情况确定，并以学校正式录取及资助文件为准。

教学助理岗位（TA）
对于由导师选定的合适申请者，在符合院系名额、资格要求和学校审批等条件的情况下，通常可以获得 TA 支持。典型的 TA 方案包括学费支持和月度生活津贴，旨在满足学生在松岛的基本生活需要。

研究助理岗位（RA）
若导师拥有合适的科研项目经费，可用 RA 支持替代 TA。RA 的整体资助通常更为优厚；但其名额和金额取决于具体科研项目，因此无法提前保证。

如何理解资助水平
不同国家的名义津贴不宜仅按汇率直接比较。住房、交通、医疗保险及其他日常开支都会显著影响实际购买力。建议申请者综合评估完整资助方案，以及当地的生活成本与生活质量。
所有资助条款均以学校政策及正式录取、资助文件为准。

为什么选择 SUNY Korea

学校位于韩国仁川松岛国际城。这里现代、便利、国际化，校园提供宿舍、体育馆、游泳池和医疗服务，周边生活设施完善。韩国是高度发达、创新活跃的经济体，在联合国人类发展指数（HDI）中属于“极高人类发展水平”类别。学生既能接受石溪大学体系的计算机科学教育，也能体验安全、便利、科技发达的韩国生活。

如何申请

请将以下材料发送给导师：

• 一份简短的研究兴趣与申请动机说明，介绍自己的学术背景，并说明对 AI、编译技术、形式化方法、浮点计算或编程语言中哪些方向感兴趣；
• 个人简历（CV）。

导师：Zhoulai Fu
邮箱：zhoulai [dot] fu [at] sunykorea [dot] ac [dot] kr
导师主页：https://zhoulaifu.com/
招生详情：https://zhoulaifu.com/phd-positions/
SUNY Korea 计算机科学博士项目官方信息：https://cs.sunykorea.ac.kr/cs/html/sub03/030303.html
本帖所列入学学期为 2027 年春季。具体申请流程、材料要求和截止日期请以学校官方招生信息为准。