Postdoctoral research positions at Virginia Tech are available on software security, with a focus on the application of reverse engineering and formal methods to reasoning about unintended behaviors and exploits. 
Applications are invited for postdoctoral research positions with the Systems Software Research Group (https://www.ssrg.ece.vt.edu) at Virginia Tech (https://vt.edu) on projects at the intersection of reverse engineering, decompilation, verification, and security. A particular focus of the positions is taking a binary (e.g., for the x86-64 architecture) as the ground truth and 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 any one of the following topics are sought: reverse engineering, decompilation, verification, and program analysis. Background in formal methods, program analysis techniques, and 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 (binoy@vt.edu) with a CV or for any questions.