Research Assistant Professor

State of Virginia • Blacksburg, VA

395d

About The Position

Applications are invited for a Research Assistant Professor position (non-tenure track) with the Systems Software Research Group at Virginia Tech. The position involves conducting research at the intersection of program/binary analysis and verification toward developing trustworthy tools for reasoning about security exploits in binary code. Opportunities exist to investigate a broad set of topics including logic frameworks for automatic reasoning of security vulnerabilities, verified decompilation, auto-generation of trustworthy security analysis tools, 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
• 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 assistant professor ranking.

Nice To Haves

• Experience developing proposals and managing funded programs.
• Experience mentoring undergraduate and graduate level students.
• Good communication skills.
• Ability to work under limited supervision.

Responsibilities

• conducting independent research
• developing publications for journals, conferences, and workshops, and presenting papers at conferences and workshops
• conducting technology transitions to production systems of sponsors (in relevant projects)
• developing research proposals for obtaining externally sponsored research and managing funded projects.

Benefits

• Commensurate with Experience

What This Job Offers

• Job Type: Full-time
• Career Level: Entry Level
• Industry: Executive, Legislative, and Other General Government Support
• Education Level: Ph.D. or professional degree
• Number of Employees: 5,001-10,000 employees