Multi-PhD and Intership Positions in Department of Computer Science

As an incoming Assistant Professor in the Department of Computer Science at the University of Virginia, I am excited to invite applications for multiple PhD and internship positions.

Research Interests:
My research interests lie in the intersection of Software Engineering, Software Security, Formal Methods, and Machine Learning. My research is dedicated to enhancing the security and reliability of software systems, including AI systems. To achieve this goal, I focus on developing and applying efficient techniques in formal methods and machine learning, as well as exploring the synergies between these two fields. For more information, please visit my webpage.

Open Positions:
For undergraduate/graduate students interested in research, we are always seeking enthusiastic interns to join our projects. Internship positions are available at any time througout the year. Additionally, we have several PhD student positions open, starting in Fall 2025.

Application:
Applicants should have a strong academic background in computer science or related fields. While experience in systems, machine learning, or formal methods is beneficial, it is not required. The key qualities that will make you stand out are your motivation for research, strong programming skills, and passion for innovation. If you are interested or would like to discuss potential opportunities, please send your CV and transcript(s) via email (wenxiw@virginia.edu).

About UVA and its CS department:
The University of Virginia (UVA) was founded in 1819 by Thomas Jefferson, the third President of the United States. As one of the Public Ivies, UVA is a prestigious institution renowned for its rich history and unwavering commitment to academic excellence. In the 2024 U.S. News & World Report Rankings, UVA is ranked No. 5 among U.S. public universities and No. 24 among U.S. universities. UVA’s Computer Science Department is recognized for fostering a collaborative and interdisciplinary research environment. The department has state-of-the-art facilities and dedicated faculty members who excel in producing innovative research with real-world impact. According to CSRanking, over the past five years, UVA’s CS department is ranked No. 5 in software engineering, security, formal methods, and AI research.

About Charlottesville:
Charlottesville offers a perfect mix of cultural richness, natural beauty, and vibrant community life. Located at the base of the Blue Ridge Mountains, Charlottesville is the gateway to Shenandoah National Park, which features breathtaking landscapes and plenty of outdoor activities. The city is full of history and culture, with a lively arts scene, diverse dining options, and historic landmarks like Monticello, the home of Thomas Jefferson. For those interested in city life, Washington, D.C. is only a convenient 2-hour train ride away, providing numerous professional and recreational opportunities. Join us in Charlottesville for a unique and enriching academic experience at UVA.