Research Associate Professor

Virginia Tech • Blacksburg, VA

69d

About The Position

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.

Requirements

• PhD in computer science or computer engineering with background and expertise in formal verification, proof assistants and verification tools, binary/program analysis, or compilers.
• 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.

What This Job Offers

• Job Type: Full-time
• Career Level: Senior
• Industry: Educational Services
• Education Level: Ph.D. or professional degree