Postdoctoral positions are available with the Systems Software Research Group at Virginia Tech (https://www.ssrg.ece.vt.edu/) on software and hardware security projects. Software security projects are at the intersection of program/binary analysis and verification toward developing trustworthy tools for reasoning about security exploits in binary code. The hardware security project focuses on developing architecture-level exploit mitigations that avoid invasive modifications to the software stack. In both spaces, opportunities also exist to investigate project-relevant topics of mutual interest. There is no teaching obligation associated with this appointment.

The responsibilities include, but are not limited to, the following:
- conducting independent research in these spaces
- developing publications for journals, conferences, and workshops,
and presenting papers at conferences and workshops