弗吉尼亚大学(University of Virginia)计算机科学系王文曦导师招收多名全奖博士生，同时全年招收实习生。王文曦老师将于2024年7月底加入弗吉尼亚大学计算机系，担任助理教授。王老师博士就读于得克萨斯大学奥斯汀分校(UT Austin)，师从 Sarfraz Khurshid。王老师的研究课题位于软件工程及安全、形式化方法（Formal Methods）和机器学习的交叉领域。她的研究致力于通过形式化方法和机器学习技术来提高软件系统（包括人工智能系统）的安全性和可靠性。王老师已在ICLR、PLDI、TACAS/SAT、ICSE/FSE/ASE等国际顶级学术会议和期刊发表论文17篇，并于2022年被评为MIT EECS Rising Star。此外，她在ICLR、NeurIPS、ICML、AAAI、ASE等多个国际顶级学术会议中担任程序委员(PC)。对王老师的研究感兴趣的同学，可以浏览她的个人主页：https://wenxiwang.github.io/对科研感兴趣的本科生或研究生，王老师随时欢迎实习生加入科研项目。实习生职位全年开放。此外，王老师有若干全额奖学金博士生名额，博士生的入学时间为2025年秋季。1. 具备扎实的计算机或数学理论基础，以及过硬的编程能力。3. 对自动推理 (Automated Reasoning)、或软件分析和测试 (Software Analysis and Testing)、或深度学习(Deep Learning)、或大语言模型和图神经网络 (LLM/Graph Neural Networks)等领域的研究有充分了解。a. 在Automated Reasoning (e.g., SAT/SMT solving), Formal Verification 等领域具有相关科研或实习经历。精通SAT Solver (e.g., Kissat，MiniSat), SMT Solver (e.g., Z3, cvc5), Program Verification Tool (e.g., Dafny, Alloy)。b. 在Automated Code Generation, Program Repair, Software Analysis and Testing, Software Security 等领域具有相关科研或实习经历，并能够开发和应用前沿的机器学习技术 (e.g., LLM/GNN/RL)来解决上述领域中的科研问题。c. 能够应用软件工程或形式化方法技术来分析机器学习模型 (e.g., LLM/GNN)的安全性、可靠性、容错性等。d. 在ML/FM/SE/Security等领域中的国际顶级学术会议或期刊上发表过论文。请将简历（包含GPA/排名），所有的成绩单（包括本科/研究生）发送至王老师邮箱(wenxiw@virginia.edu)， 邮件标题格式：[PhD或Internship]-姓名-本科院校-研究生院校(如有)。请用英文撰写邮件。注意：王老师可能不会马上回复你的邮件，不过所有遵守以上格式的邮件都会被保存下来，请不要担心你的申请被漏掉，请勿重复发送邮件。如果你是合适的同学，她会在适当时间联系你。弗吉尼亚大学(University of Virginia)由美国第三任总统托马斯·杰斐逊于1819年创立。作为八所公立常青藤大学之一，弗吉尼亚大学是一所世界一流的公立研究型大学。在2024年US News大学排名中，弗吉尼亚大学在美国公立大学中名列第五，在全美位列第24。其计算机科学系倡导协作和跨学科的研究环境。根据最新的CSRanking排名，过去五年中弗吉尼亚大学的计算机科学系在软件工程、安全、形式化方法和人工智能领域位列全美第五。
【轻松参会】为所有CCF收录会议与期刊设立投稿交流群，后台回复会议名/期刊名即可进群。公众号文章会发布近期截稿会议、转投会议推荐、录用率趋势、录用分数分析等重要信息，同时会发布最新的CS/AI招聘招生信息。
