1091期：阿尔伯塔大学CS系Dr。 Chen招收 AI辅助编程 方向硕博士

点击上方"北美PhDLeague"关注我们

1091期：招生信息

1091期，今天小编给大家继续带来1个硕博士的招生信息，希望能够帮到大家，祝大家2025申请顺利。想获得更多的硕博士全奖职位信息的同学，可以关注微信公众号：北美PhDLeague

 

神经符号编程、大型语言模型 (LLM) 支持的编程工具，以及以人为中心的综合框架

University of Alberta

阿尔伯塔大学

• 招收职位：硕士， 博士
  

• 联系教授：Dr. Jocelyn (Qiaochu) Chen

              ([email protected])

• 学校介绍：

  阿尔伯塔大学（University of Alberta），简称UA，始建于1908年，是坐落于加拿大阿尔伯塔省会埃德蒙顿的一所世界顶尖研究型大学，是加拿大U15研究型大学联盟创始成员、世界大学联盟成员以及世界能源大学联盟成员。阿尔伯塔大学是加拿大最大的研究型大学之一，在地球科学，石油化工，化学，商学，农学，生物医学等学科最为著名。U of A的学生可以从 18 个学院的 400 个本科、研究生和专业课程中进行选择。拥有 100 多年的历史和 250,000 名校友，U of A 以为毕业生提供知识和技能以成为明天的领导者而闻名于世。学校所在的埃德蒙顿市是阿尔伯塔省省会，是加拿大第五大城市，同时也是一个宜居且快速发展的城市，拥有多元的文化、安全的城市环境、众多户外活动选择和便捷的交通系统。在阿尔伯塔省全年都可以在著名的加拿大落基山脉的两个世界级国家公园——班夫和贾斯珀国家公园中尽情享受多种活动，如登山、滑雪、冰川探险、观鸟、赏熊等。
  阿尔伯塔大学校友包含第16任加拿大总理，三位诺贝尔奖得主（包括2020年诺贝尔生理学医学奖得主霍顿），75位罗德学者（总数居世界名牌大学前列），141位加拿大皇家学会成员，111位加拿大首席研究教授。

• 导师介绍：

  Dr. Chen是纽约大学 (NYU) Courant 的教师研究员，目前还在Nectry兼职工作，同时将于2025年夏季开始担任阿尔伯塔大学的助理教授。她在德克萨斯大学奥斯汀分校获得了博士学位，导师是Isil Dillig 和 Greg Durrett。她的研究领域是程序合成。

• 研究领域：

Dr. Chen当前的研究兴趣围绕 AI 辅助编程中的以下关键问题：

1. 如何利用最先进的机器学习模型创建新的编程抽象？如何结合符号和神经技术以正确、可扩展且用户友好的方式合成程序？

2. 针对涉及大型语言模型（LLM）调用的编程任务，应该设计什么样的合适抽象？

3. 如何有效地将编程接口与程序合成器进行集成？

• 招收学生背景：

如有兴趣，请向教授发送电子邮件，并附上简历、成绩单等。

• 招收时间：2025年秋季入学，12月15日截止

• 奖学金：全额奖学金

关于我们

咨询服务

官方微信号：PhDLeague_Official

官方网站： http://phdleague.org/

点击"阅读原文"，进入我们的官方网站哦！

在这里点击"阅读原文"