2 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) – fully funded – Vienna, Austria – Deadline: 12 June 2020

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.

Comments are closed.