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.