想获得更多的硕博士全奖职位信息的同学，可以关注微信公众号：北美PhDLeague
点击上方"北美PhDLeague"关注我们
1284期，今天小编给大家继续带来1个硕博士的招生信息，希望能够帮到大家，祝大家2026申请顺利。想获得更多的硕博士全奖职位信息的同学，可以关注微信公众号：北美PhDLeague
自动推理（Automated Reasoning）、机器学习（Machine Learning）与软件工程（Software Engineering）的交叉领域
University of Virginia
弗吉尼亚大学
招收职位：博士
联系教授：Dr. Wenxi Wang
学校介绍：
弗吉尼亚大学（University of Virginia），简称"UVa"，坐落于美国弗吉尼亚州夏洛茨维尔，是一所公立综合性研究型大学，由美国第三任总统、《独立宣言》起草人托马斯·杰斐逊于1819年创建。弗吉尼亚大学是美国最顶尖的公立大学之一，为最初的8所"公立常春藤"和25所"新常春藤"成员。学校常年稳居全美最佳大学前30名，位列2023 U.S. News美国最佳公立大学排名第3位；2023 U.S. News美国最佳大学排名第25位。此外，学校在奖学金发放数量排名中位于公立机构第一，全部机构第二。 弗吉尼亚大学计算机系是全美公认的计算机科学研究和教育领域的领军者之一。根据CSRankings数据，弗吉尼亚大学的计算机科学系在软件工程、安全、形式化方法及人工智能领域位列全美前五。我们的团队倡导跨学科合作，提供丰富的研究资源与学术支持。
UVA 坐落于弗吉尼亚州的Charlottesville市，这是一座融合自然之美与学术氛围的城市。这里依山傍水，靠近蓝岭山脉（Blue Ridge Mountains），非常适合喜欢自然与户外活动的同学。城市历史悠久，文化丰富，拥有托马斯·杰斐逊的故居Monticello。Charlottesville市距离华盛顿特区约两小时车程，生活便利且环境优美
导师介绍：
王文曦教授现任弗吉尼亚大学(University of Virginia)计算机科学系助理教授，毕业于得克萨斯大学奥斯汀分校(UT Austin)，师从软件工程领域知名学者Sarfraz Khurshid。 Dr. Wang 的研究兴趣位于自动推理（Automated Reasoning）、机器学习（Machine Learning）与软件工程（Software Engineering）的交叉领域。她的研究重点在于推动神经符号人工智能（Neuro-Symbolic AI）的发展，以提升自动推理系统的可扩展性与效率，同时赋予人工智能模型推理与验证的能力。除基础研究外，她还设计专门的神经符号方法，用于增强包括现代人工智能系统在内的软件可靠性，并探索可验证的代码生成技术，从而使软件开发过程更加可信且更具抗错性。 她的研究成果已发表在软件工程、机器学习及形式化方法等领域的国际顶级会议上，包括 ICSE、ESEC/FSE、ASE、ICLR、PLDI 和 TACAS。她曾荣获 EECS Rising Stars 荣誉，并积极参与学术社区建设，担任多项顶级国际会议（如 ICSE、CAV、OOPSLA、ASE、ICLR、ICML、NeurIPS）的程序委员会成员。 导师详细信息请参阅其主页：https://wenxiwang.github.io/ 关于我们的Hiprel研究组 我们科研组目前共有七位充满才华与潜力的成员，包括两名博士生、一名硕士生、一名本科生，以及三名实习生，均由导师亲自指导。更多详细信息可参见科研组主页：https://wenxiwang.github.io/group.html
研究方向：
神经网络与自动推理的结合：探索如何利用大型语言模型（LLM）、图神经网络（GNN）和强化学习(RL)等技术，提升SAT/SMT 求解器及模型计数器的效率。 可验证代码生成：研究如何结合形式方法与机器学习，在Verus、Lean、Dafny 等系统中自动生成可验证的可靠代码。 增强 LLM 的推理与验证能力：推动大型语言模型在逻辑推理和形式验证方面的边界。 提升机器学习框架的可靠性：研究如何通过自动化测试与验证，提高PyTorch 等主流机器学习框架的稳定性和鲁棒性。 招收学生
如果你好奇心强、动手能力强、学习动力足，并拥有扎实的计算机科学或数学基础，欢迎申请！
以下条件将是加分项： 1. 拥有 SAT/SMT 求解、形式验证、符号执行等相关研究或实习经验； 2. 熟悉 Kissat、Z3、Verus、Dafny、Lean、Coq、Alloy 等自动推理或验证工具； 3. 如果没有上述经验也没关系，我们在寻找具备扎实的 C/C++ 编程能力 与良好的离散数学基础 的人才； 4. 有大型语言模型（LLM），图神经网络（GNN）或强化学习（RL）相关经验者优先。 即使暂时没有相关经验，只要你有热情和学习意愿，我们也非常欢迎！ 如何申请 请填写申请表：https://docs.google.com/forms/d/e/1FAIpQLSdFl1Ix1pxDjD9CxWqpP68ZPk2Mfwypd6GIUvvfO28OvZnsWQ/viewform 我们会认真审阅每一份申请，并根据情况安排面试。
招收时间：2026年秋季入学，招满截止
奖学金：全额奖学金
官方微信号：PhDLeague_Official
官方网站： http://phdleague.org/
点击"阅读原文"，进入我们的官方网站哦！
在这里点击"阅读原文"
没有评论:
发表评论