Postdoctoral/research faculty position in Program Analysis, Verification, and Security at Virginia Tech

by Binoy Ravindran, July 1, 2020

Applications are invited for a postdoctoral or research faculty position at Virginia Tech on DARPA-funded projects at the intersection of program analysis, verification, and security.

Applications are invited for a postdoctoral or research faculty position with the Systems Software Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech (https://vt.edu/) on DARPA-funded projects (https://llrm-project.org/) at the intersection of program analysis, verification, and security. A particular focus of the position is static and dynamic program analysis, especially at the binary level, for automatic exploit generation with an underlying basis in semantics and logic. Additional thrusts include logic frameworks for formal reasoning of non-exploitability. 

Computer science PhD graduates with a background and publication record in program/binary analysis, verification, or security is sought. The position has no teaching obligations. 

Interested candidates are requested to contact Prof. Binoy Ravindran ([email protected]) with a CV or for any questions.