Open positions
The group has openings for PhD students, postdocs, and research faculty — with no teaching obligations — interested in systems software, verification, and heterogeneous computing.
Two tracks
Software engineering, formal methods & programming languages
Program analysis, formal verification, verified compilation, and reasoning about low-level and binary code. A background in one or more of these areas — and an interest in building real systems that carry machine-checked guarantees — is ideal.
Systems
Operating systems, compilers, and runtimes for emerging heterogeneous hardware — mixed-ISA machines, accelerators, and programmable devices. A background in OS or systems software, with strong implementation skills, is ideal.
How to apply
Prospective PhD students and postdocs are encouraged to email binoy@vt.edu with a CV and a short note on your interests, mentioning which track fits you best. Applicants to Virginia Tech's ECE graduate program are welcome to get in touch before or after applying.