Research Associate Professor
Research Associate Professor
Employer Active
Job Alert
You will be updated with latest job alerts via email
Share
Job Alert
You will be updated with latest job alerts via email
Not Disclosed
Salary Not Disclosed
1 Vacancy
Job Description
Job Description
Applications are invited for a Research Associate Professor (non-tenure track) with the Systems Software Research Group ( at Virginia Tech. The position involves conducting research at the intersection of program analysis and formal verification toward developing trustworthy tools for reasoning about safety and security properties. Opportunities exist to investigate a broad set of topics including highly scalable program analysis tools 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. Opportunities also exist to investigate project-relevant topics of mutual interest.
Required Qualifications
- PhD in computer science or computer engineering with background and expertise in any of the following areas are sought: formal verification proof assistants and verification tools binary/program analysis or compilers.
- Candidates must have a well-established track record of published research at relevant conferences and journals at the level commensurate with a Research Associate Professor ranking.
- Experience developing proposals and managing funded programs as Principal Investigator (or Co-Principal Investigator).
- Experience mentoring PhD and MS students.
- Excellent communication skills.
- Ability to work under limited supervision.
Overtime Status
Exempt: Not eligible for overtime
Appointment Type
Restricted
Hours per week
40
Review Date
10/1/2025
Additional Information
Required Application Materials: Resume/CV; Cover Letter; Contact Information for 3 References
The successful candidate will be required to have a criminal conviction check.
About Virginia Tech
Dedicated to its mottoUt 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 aninclusive communitydedicated to knowledge discovery and creativity. The university offers more than 280 majors to a diverse enrollment of more than 36000 undergraduate graduate and professional students in eightundergraduate colleges aschool of medicine aveterinary medicinecollegeGraduate School andHonors 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 numerousExtension officesandresearch 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 Tankersleyat regular business hours at least 10 business days prior to the event.
Required Experience:
IC
Employment Type
Full Time
