Postdoctoral positions in Program Analysis and Verification at Virginia Tech

by Binoy Ravindran, Sept. 30, 2019

Multiple postdoctoral positions are available with the Systems Software Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech (https://vt.edu/) on projects on program analysis and verification. A particular focus of the positions is verification of binary programs through decompilation, reasoning using techniques such as abstract interpretation, and verification of security properties.

Postdoctoral positions in Program Analysis, Verification

Virginia Tech

Multiple postdoctoral positions are available with the Systems Software Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech (https://vt.edu/) on projects on program analysis and verification. A particular focus of the positions is verification of binary programs and compiler intermediate representations through decompilation, reasoning about program behaviors using techniques such as abstract interpretation, and verification of security properties using techniques such as model checking and theorem-proving.

Recent computer science/engineering PhD graduates with a background and publication record in program analysis, verification, compilers, or binary analysis is sought. Background in abstract interpretation, model checking, theorem-proving, and decompilation are highly desirable. The positions have no teaching obligations. For the right candidate, a research faculty position may also be possible.

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