Job Description

Job Description

Applications are invited for a Research Assistant Professor position (non-tenure track) with the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) 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.

The position's responsibilities include:
- 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.

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 assistant professor ranking.

Preferred Qualifications

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