Postdoctoral/research faculty position in Program Analysis at Virginia Tech
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 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 (
binoy@vt.edu) with a CV or for any questions.
