点击上方"北美PhDLeague"关注我们
1035期，今天小编给大家继续带来1个硕博士的招生信息，希望能够帮到大家，祝大家2025申请顺利。想获得更多的硕博士全奖职位信息的同学，可以关注微信公众号：北美PhDLeague
软件工程与安全、形式化方法(Formal Methods)以及机器学习三者的交叉领域
University of Virginia
弗吉尼亚大学
招收职位：博士
联系教授：Dr. Wenxi Wang
(wenxiw@virginia.edu)
学校介绍：
弗吉尼亚大学（University of Virginia），简称"UVa"，坐落于美国弗吉尼亚州夏洛茨维尔，是一所公立综合性研究型大学，由美国第三任总统、《独立宣言》起草人托马斯·杰斐逊于1819年创建。弗吉尼亚大学是美国最顶尖的公立大学之一，为最初的8所"公立常春藤"和25所"新常春藤"成员。学校常年稳居全美最佳大学前30名，位列2023 U.S. News美国最佳公立大学排名第3位；2023 U.S. News美国最佳大学排名第25位。此外，学校在奖学金发放数量排名中位于公立机构第一，全部机构第二。 弗吉尼亚大学计算机系是全美公认的计算机科学研究和教育领域的领军者之一。根据CSRankings数据，弗吉尼亚大学的计算机科学系在软件工程、安全、形式化方法及人工智能领域位列全美前五。我们的团队倡导跨学科合作，提供丰富的研究资源与学术支持。
弗吉尼亚大学位于风景如画的Charlottesville市，这里融合了自然美景与文化底蕴，是追求学术与生活平衡的理想之地。蓝岭山脉的美景令人叹为观止，户外活动丰富。历史遗迹如杰斐逊故居(Monticello)为这座城市增添了独特的文化氛围。距离华盛顿特区仅两小时的车程，这里是科技和文化的交汇点，方便学生在学习之余享受都市生活的便利与多样化机会。
导师介绍：
王文曦教授现任弗吉尼亚大学(University of Virginia)计算机科学系助理教授，毕业于得克萨斯大学奥斯汀分校(UT Austin)，师从软件工程领域知名学者Sarfraz Khurshid。她的研究集中在软件工程与安全、形式化方法(Formal Methods)以及机器学习三者的交叉领域，致力于通过新颖的形式化方法和机器学习技术提升软件系统(包括人工智能系统)的安全性和可靠性。王教授在ICLR、PLDI、TACAS/SAT、ICSE/FSE/ASE等国际顶级会议和期刊上发表了多篇论文，并于2022年入选MIT EECS Rising Star。她还担任了ICLR、NeurIPS、ICML、AAAI、ASE、OOPSLA等多个顶级会议的程序委员会委员。详细信息请访问她的个人主页: https://wenxiwang.github.io/
研究方向：
深度学习与自动逻辑推理结合: 利用LLM、GNN和强化学习等技术提高自动逻辑推理工具(SAT/SMT solver)的效率。 生成代码的质量改进: 利用软件验证与测试技术提升LLM生成代码的质量。 图神经网络(GNN)的表现力提升: 结合形式化方法与软件工程技术，增强GNN的表达和推理能力。 增强LLM的推理能力。 提升ML模型和框架的可靠性: 通过软件验证和软件测试提升机器学习模型或框架(如PyTorch)的可靠性。
招收学生
基本要求：
符合条件: 满足弗吉尼亚大学计算机科学博士项目的入学要求。
扎实的计算机与数学基础，以及优异的编程能力。
科研热情: 对探索新领域充满兴趣。
沟通与协作能力。
对自动推理、软件分析与测试、深度学习、大语言模型(LLM)和图神经网络(GNN)等有深入了解。 拥有SAT/SMT求解、形式验证、自动代码生成、程序修复或软件安全领域的研究或实习经验。 能熟练使用Kissat、Z3、Dafny、Alloy等工具。 在ML/FM/SE/Security领域顶级会议上有论文发表经历
加分项
有意申请者请填写申请表格：ttps://forms.gle/8zCiZDCDuqWhiPPi6。我们会定期筛选申请并安排面试。
招收时间：2025春季/秋季入学，招满截止
奖学金：全额奖学金
官方微信号：PhDLeague_Official
官方网站： http://phdleague.org/
点击"阅读原文"，进入我们的官方网站哦！
在这里点击"阅读原文"
没有评论:
发表评论