加入弗吉尼亚大学计算机系的机会

大家好！我是王文曦，未来将于2024年七月加入弗吉尼亚大学计算机系，担任助理教授。在这篇博文中，我将与大家分享一些关于我和招生信息的内容，让你更好地了解这个激动人心的机会！🌟

关于我

我的博士学位来自得克萨斯大学奥斯汀分校(UT Austin)，在此期间，我师从Sarfraz Khurshid，专注于软件工程及安全、形式化方法（Formal Methods）和机器学习的交叉研究。在国际顶级学术会议如ICLR、PLDI、TACAS/SAT、ICSE/FSE/ASE上，我已经发表了17篇论文，并于2022年荣获MIT EECS Rising Star的称号。🎓。此外，我积极参与多个国际会议的程序委员会工作，包括ICLR、NeurIPS、ICML和AAAI等。

招生岗位

我们诚挚欢迎对科研感兴趣的本科生或研究生加入我们的团队！实习生岗位全年开放，为你提供参与科研项目的绝佳机会。同时，我们还提供若干全额奖学金的博士生名额，博士生的入学时间为2025年秋季。🎉

招生要求

• 具备扎实的计算机或数学理论基础，以及过硬的编程能力。
• 对科研怀有足够的兴趣、热情和意志力。
• 对自动推理 (Automated Reasoning)、软件分析和测试 (Software Analysis and Testing)、深度学习 (Deep Learning)、大语言模型和图神经网络 (LLM/Graph Neural Networks) 等领域有充分了解。
• 具备良好的沟通能力和团队协作能力。

申请方式

如果你对这个机会感兴趣，请将你的简历（包含GPA/排名）和所有成绩单（包括本科/研究生）发送至我的邮箱。邮件标题格式如下：[PhD或Internship]-姓名-本科院校-研究生院校(如有)。请用英文撰写邮件。✉️

请注意，我们可能不会马上回复你的邮件，但所有遵循以上格式的邮件将被保留，确保你的申请不会被遗漏。若你符合条件，我们会在适当的时间与你联系。

关于弗吉尼亚大学和计算机系

弗吉尼亚大学是被誉为公立常青藤的八所大学之一，在2024年US News大学排名中名列美国公立大学第五，整体排名居全美第24。根据最新的CSRanking数据，过去五年中，弗吉尼亚大学计算机系在软件工程、安全、形式化方法和人工智能领域排名全美第五。🌐

总结

总而言之，弗吉尼亚大学的计算机系是一个充满机遇与挑战的地方。如果你有强烈的科研兴趣，并希望在一个领导学术研究的团队中成长，不妨考虑申请加入我们！期待各位优秀的同学的到来！✨