State of Virginia - Blacksburg, VA
posted 2 days ago
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.
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.
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.
Benefits
- Commensurate with Experience
