Research Associate Professor jobs in United States
cer-icon
Apply on Employer Site
company-logo

Virginia Tech · 4 months ago

Research Associate Professor

positionBlacksburg, VA
timeFull-time
remoteOnsite
senioritySenior Level

Virginia Tech is a leading global research institution dedicated to knowledge, discovery, and creativity. They are seeking a Research Associate Professor to conduct research in program analysis and formal verification, developing tools for safety and security properties, while mentoring students and managing funded programs.

EducationHigher EducationUniversities
check
Growth Opportunities
check
H1B Sponsor Likelynote

Responsibilities

Conducting research at the intersection of program analysis and formal verification toward developing trustworthy tools for reasoning about safety and security properties
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
Investigate project-relevant topics of mutual interest

Qualification

Formal verificationProgram analysisProof assistantsCompilersResearch publicationProposal developmentMentoring studentsCommunication skillsWork independently

Required

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

Company

Virginia Tech

twittertwittertwitter
Glassdoor4.3
company-logo
Virginia Tech is a public research university that offers a range of academic programs and conducts research across various fields.
dateFounded in 1872
location
Blacksburg, Virginia, USA
people-size5001-10000 employees
web-link
http://www.vt.edu

H1B Sponsorship

Virginia Tech has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (254)
2024 (146)
2023 (124)
2022 (196)
2021 (92)
2020 (81)

Funding

Current Stage
Late Stage
Total Funding
$24.09M
Key Investors
Virginia Innovation Partnership CorporationNational Institute of Food and AgricultureAppalachian Regional Commission
2025-01-16Grant
2024-06-26Grant· $0.59M
2024-02-15Grant· $0.45M

Leadership Team

S
Steven McKnight
Vice President for Strategic Alliances
linkedin
leader-logo
David Raymond
Associate Vice President for Security and Identity
linkedin

Recent News

The Morning Call
Beware of online ads with elaborate backstories. They may not be from a real small business
2026-01-22
Tech Xplore
Ancient board game tactics help AI unlock optimal cooling strategies
2026-01-06
PhysOrg.com
Quantum entanglement could connect drones for disaster relief, bypassing traditional networks
2025-12-22
Company data provided by crunchbase