Job Description
Job Description
Applications are invited for a Research Associate position with the Systems Software Research Group () 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.
Required Qualifications
- MS in computer science or computer engineering with background.
- Expertise in any of the following areas: formal verification, proof assistants and verification tools, binary/program analysis, or compilers.
- Strong expertise with formal methods tools (...