Job Description

Applications are invited for a Research Scientist position with the Systems Software Research Group at Virginia Tech. Opportunities exist in two directions. The first direction is on developing innovative software systems – broadly defined to include operating systems, compilers, and run-times – for emerging hardware in cloud and edge computing settings, in particular those with heterogeneous instruction sets, accelerators, programmable devices, I/O virtualization, and capabilities/tagging, toward improved performance, energy efficiency, and security properties. The second direction is at the intersection of program/binary analysis and verification toward developing trustworthy tools for reasoning about security properties of low-level code and developing mitigations. Opportunities also exist to investigate project-relevant topics of mutual interest. The position has no teaching obligations.

Responsibilities include:
- conducting independent research in these spaces
- developing publications for journals, conferences, and workshops, and presenting papers at conferences and workshops
- conducting presentations at sponsor events and technology demonstrations and transitions

Required Qualifications

- PhD in computer science or engineering (or a related field
- Strong background and publication record in any of the following areas: heterogeneous computing, operating systems/hypervisors, compilers/run-times, formal verification, proof assistants and verification tools, binary/program analysis, or compilers