Postdoc positions in binary analysis at Virginia Tech

by Binoy Ravindran, Dec. 4, 2021

Postdoc positions at Virginia Tech are available on software security, with a focus on applying formal methods to binary code for reasoning about unintended behaviors and exploits and automatic exploit generation.

Applications are invited for postdoc positions with the Systems Software Research Group ( at Virginia Tech ( on projects at the intersection of binary analysis, verification, and security. A particular focus of the positions is static and dynamic program analysis at the binary level toward reasoning about unintended emergent behaviors and exploits. Additional thrusts include logic frameworks for automatic exploit generation and verified decompilation. 

Recent computer science PhD graduates with a background and publication record in verification, security, or program analysis are sought. Background in formal methods, program analysis techniques, low-level system software including assembly code, ISA semantics, and functional programming are highly desirable. The positions have no teaching obligations. For experienced candidates, research faculty appointments may be possible. 

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