Job No. 154687
- Job Title:
- Research Assistant Professor
- Employer:
-
VT
- Location:
-
Blacksburg , VA
- Posting Date:
- 20-Jan-2025
- Description:
-
Job Description
Applications are invited for a Research Assistant Professor position (non-tenure track) with the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Virginia Tech. The position involves conducting research at the intersection of program/binary analysis and verification toward developing trustworthy tools for reasoning about security exploits in binary code. Opportunities exist to investigate a broad set of topics including logic frameworks for automatic reasoning of security vulnerabilities, verified decompilation, auto-generation of trustworthy security analysis tools, and automatic patching with provable security properties. Opportunities also exist to investigate project-relevant topics of mutual interest.
The position's responsibilities include:
- conducting independent research
- developing publications for journals, conferences, and workshops, and presenting papers at conferences and workshops
- conducting technology transitions to production systems of sponsors (in relevant projects)
- developing research proposals for obtaining externally sponsored research and managing funded projects.
Required Qualifications
- PhD in computer science or computer engineering with background and expertise in any of the following areas are sought: formal verification, proof assistants and verification tools, binary/program analysis, or compilers.
- Candidates must have a well-established track record of published research at relevant conferences and journals at the level commensurate with a research assistant professor ranking.
Preferred Qualifications
- Experience developing proposals and managing funded programs.
- Experience mentoring undergraduate and graduate level students.
- Good communication skills.
- Ability to work under limited supervision.