Applications are invited for a Research Associate position with the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Virginia Tech. The position involves conducting research and developing trustworthy tools for reasoning about safety and security properties of a broad range of application programs. Opportunities exist to investigate and develop tools for highly scalable program analysis for detecting violations of safety and security properties, techniques for verified operating system kernel extensions, logic frameworks for automatic reasoning of security vulnerabilities, verified decompilation, and automatic patching with provable security properties.