Hiprel Group Hiring– PhD and Internship Opportunities

I’m excited to announce that Hiprel Group is recruiting PhD students for Fall 2026 and internship students for all year round. We offer a dynamic and collaborative environment for students passionate about cutting-edge research in computer science, particularly in areas that intersect machine learning, formal methods, and software engineering.

Our research focuses on (but is not limited to):

  • Combining Deep Learning with Automated Reasoning: We’re exploring how technologies like large language models (LLMs), Graph Neural Networks (GNNs), and reinforcement learning can enhance automated reasoning tools such as SAT and SMT solvers.
  • Enhancing Software Verification with LLMs: We are developing novel methods to improve the scalability and usability of verification tools, such as Verus, Lean, Dafny, and Alloy, through the integration of LLMs.
  • Strengthening the Reasoning Capabilities of LLMs: We’re investigating ways to push the boundaries of what LLMs can achieve in terms of reasoning.
  • Improving Code Generation Quality: We're using software verification to improve the quality of code produced by LLMs.
  • Boosting the Reliability of ML Models and Frameworks: We're working on improving the robustness and reliability of machine learning frameworks like PyTorch through rigorous testing and verification techniques.

What We’re Looking For

If you're curious and driven, with a solid foundation in computer science and mathematics, and strong programming skills, I encourage you to apply. Additionally, you should:

  • Have a genuine passion for research and an eagerness to explore new fields.
  • Be a team player with strong communication and collaboration skills.

Additional experience that would make you stand out:

  • Familiarity with automated reasoning, software testing, deep learning, LLMs, or GNNs.
  • Research or internship experience in areas like SAT/SMT solving, formal verification, automated code generation, or software security.
  • Hands-on experience with tools like Kissat, Z3, Verus, Dafny, Alloy, etc.
  • Publications in top-tier conferences related to machine learning, formal methods, software engineering, or security.

How to Apply

Interested? Complete this Application Form to get started. We’ll review applications thoroughly and schedule interviews accordingly.

About UVA and its CS Department

The University of Virginia (UVA), founded by Thomas Jefferson in 1819, is one of the top public universities in the U.S., ranked 4th among public institutions and 24th overall in the 2025 US News rankings. According to CSRankings, UVA's Computer Science department is ranked in the top 9 in the nation for Software Engineering, Security, Formal Methods, and Artificial Intelligence. Our Hiprel Group thrives on interdisciplinary collaboration, offering rich resources and support to foster groundbreaking research.

Life in Charlottesville

Charlottesville, home to UVA, is a charming city known for its natural beauty and rich cultural history. Nestled in the Blue Ridge Mountains, it’s a perfect place for anyone seeking a balance between academic life and outdoor adventures. The city is also steeped in history, with landmarks like Thomas Jefferson’s Monticello, and it’s just a two-hour drive from Washington D.C., providing access to a wealth of opportunities beyond the campus.

We’re looking forward to working with driven, passionate students who are ready to tackle exciting research challenges. I hope to see you join our Hiprel Group and help push the boundaries of what’s possible!