弗吉尼亚理工大学计算机系统安全博士后

Applications are invited for a postdoctoral position in the Systems Software Research Group at Virginia Tech, USA. The focus of the position is to develop ntechniques for reasoning about and verifying concurrency errors, especially in binary code. The position is part of an ongoing DARPA-funded project that is developing trustworthy tools for binary verification at scale. Opportunities exist to investigate a broad set of topics including logic frameworks for reasoning about safety properties of concurrent programs, security vulnerabilities of concurrent programs, and automatic patching with provable security guarantees. Opportunities also exist to investigate project-relevant topics of mutual interest.


Recent Computer Science PhD graduates with expertise in any of the following areas are sought: concurrency, verification, proof assistants and verification tools, binary/program analysis, or compilers. The positions have no teaching obligations. For experienced candidates, a Research Assistant Professor appointment at Virginia Tech (inclusive of funding for graduate students) is possible.

Interested candidates are requested to contact Prof. Binoy Ravindran (<binoy at vt dot edu>) with a CV or for any questions.