"Research Associate"

Job Description

Applications are invited for a Research Associate position with the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Virginia Tech. The position involves conducting research and developing trustworthy tools for reasoning about safety and security properties of a broad range of application programs. Opportunities exist to investigate and develop tools for highly scalable program analysis for detecting violations of safety and security properties, techniques for verified operating system kernel extensions, logic frameworks for automatic reasoning of security vulnerabilities, verified decompilation, and automatic patching with provable security properties.

Required Qualifications

• MS in computer science or computer engineering with background.
• Expertise in any of the following areas: formal verification, proof assistants and verification tools, binary/program analysis, or compilers.
• Strong expertise with formal methods tools (e.g., theorem provers, SMT solvers, model checkers).
• Strong programming expertise, with a preference for functional programming (e.g., Haskell).
• Excellent communication skills.

Overtime Status

Exempt: Not eligible for overtime

Appointment Type

Restricted

Hours per week

40

Review Date

11/7/2025

Additional Information

The successful candidate will be required to have a criminal conviction check.

About Virginia Tech

Dedicated to its motto, Ut Prosim (That I May Serve), Virginia Tech pushes the boundaries of knowledge by taking a hands-on, transdisciplinary approach to preparing scholars to be leaders and problem-solvers. A comprehensive land-grant institution that enhances the quality of life in Virginia and throughout the world, Virginia Tech is an inclusive community dedicated to knowledge, discovery, and creativity. The university offers more than 280 majors to a diverse enrollment of more than 36,000 undergraduate, graduate, and professional students in eight undergraduate colleges, a school of medicine, a veterinary medicine college, Graduate School, and Honors College. The university has a significant presence across Virginia, including Blacksburg, the greater Washington, D.C. area, the Health Sciences and Technology Campus in Roanoke, sites in Newport News and Richmond, and numerous Extension offices and research institutes. A leading global research institution, Virginia Tech conducts more than $650 million in research annually.

Virginia Tech endorses and encourages participation in professional development opportunities and university shared governance. These valuable contributions to university shared governance provide important representation and perspective, along with opportunities for unique and impactful professional development.

Virginia Tech does not discriminate against employees, students, or applicants on the basis of age, color, disability, sex (including pregnancy), gender, gender identity, gender expression, genetic information, ethnicity or national origin, political affiliation, race, religion, sexual orientation, or military status, or otherwise discriminate against employees or applicants who inquire about, discuss, or disclose their compensation or the compensation of other employees or applicants, or on any other basis protected by law.

If you are an individual with a disability and desire an accommodation, please contact Cole Tankersley at cpt19@vt.edu during regular business hours at least 10 business days prior to the event.

Advertised: October 31, 2025
Applications close: