Postdoctoral Associate
About The Position
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
Requirements
- PhD in Computer Engineering or Computer Science. PhD must be awarded no more than four years prior to the effective date of appointment with a minimum of one year eligibility remaining.
- Background and publication record in any of the following areas are sought: binary/program analysis, compilers, formal verification, proof assistants and verification tools, and hardware security.
Responsibilities
- conducting independent research in these spaces
- developing publications for journals, conferences, and workshops, and presenting papers at conferences and workshops
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Education Level
Ph.D. or professional degree
Number of Employees
5,001-10,000 employees
