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

by Binoy Ravindran, March 1, 2021

Research faculty and postdoctoral positions are available with the Systems Software Research Group at Virginia Tech on a DARPA-funded project on program analysis and verification.

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.