Postdoctoral positions in Program Analysis and Compiler/Run-time Optimizations at Virginia Tech

by Binoy Ravindran, May 20, 2019

Virginia Tech's Systems Software Research Group has multiple postdoctoral positions in program analysis and compiler optimizations.

Multiple postdoctoral positions are available with the Systems Software Research Group ( at Virginia Tech ( on program analysis, compiler optimizations, and verification. A particular focus of the positions is to develop compiler and run-time optimizations for emerging heterogeneous architectures. An additional focus is program analysis for prover-assisted verification. 

Recent computer science/engineering PhD graduates with a background and publication record in program analysis, compilers, run-times, or verification are sought. Strong system building skills in compiler/run-time infrastructures (e.g., LLVM, GCC) is required. The positions are for two years, renewable annually, with strong possibilities for additional years, and have no teaching obligations. The start date is flexible, but we aim to fill the position as soon as possible. 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.