Research faculty and postdoctoral positions in Program Analysis and Verification at Virginia Tech

Research faculty and postdoctoral positions are available with the Systems Software Research Group (https://ssrg.ece.vt.edu) at Virginia Tech (https://vt.edu) on a DARPA-funded project on program analysis and verification of machine code. The project focus includes lifting machine code to higher-level representations for reasoning about unintended, emergent program behaviors and verifying non-exploitability. Additional thrusts include logic frameworks for reasoning about non-exploitability and automatic exploit generation with an underlying basis in semantics and logic.

Recent computer science or computer engineering PhD graduates with a background and publication record in verification, security, or program analysis are sought. Background in theorem proving (e.g., Coq, Isabelle, etc), program analysis techniques, low-level system software including assembly code, ISA semantics, and functional programming are highly desirable. The positions have no teaching obligations.

Contact Prof. Binoy Ravindran ([email protected]) with a CV or for any questions.