Research Associate Professor
Applications are invited for a Research Associate 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 on program analysis and verification, in particular, on the topic of verification of machine code, targeting architectures such as x86 and ARM. The project vision involves formalizing ISA semantics, decompiling program binaries, and investigating scalable and automated techniques to reason about program behaviors. Additional directions including static and dynamic program analysis techniques, especially at the binary level, for automatic exploit generation with an underlying basis in semantics and logic.
The responsibilities include, but are not limited to:
- conducting independent research in these spaces
- 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
- Computer science or computer engineering PhD graduates with background and expertise in program verification are required.
- Credentials that align with a research associate professor rank.
- Candidates must have a well-established track record of published research at program verification conferences and journals.
Commensurate with Experience
The successful Candidate will be required to have a criminal conviction check
About Virginia Tech
Dedicated to its motto, Ut Prosim (That I May Serve), Virginia Tech pushes the boundaries of knowledge by taking a hands-on, transdisciplinary approach to preparing scholars to be leaders and problem-solvers. A comprehensive land-grant institution that enhances the quality of life in Virginia and throughout the world, Virginia Tech is an inclusive community dedicated to knowledge, discovery, and creativity. The university offers more than 280 majors to a diverse enrollment of more than 36,000 undergraduate, graduate, and professional students in eight undergraduate colleges, a school of medicine, a veterinary medicine college, Graduate School, and Honors College. The university has a significant presence across Virginia, including the Innovation Campus in Northern Virginia; the Health Sciences and Technology Campus in Roanoke; sites in Newport News and Richmond; and numerous Extension offices and research centers. A leading global research institution, Virginia Tech conducts more than $500 million in research annually.
Virginia Tech does not discriminate against employees, students, or applicants on the basis of age, color, disability, sex (including pregnancy), gender, gender identity, gender expression, genetic information, national origin, political affiliation, race, religion, sexual orientation, or veteran status, or otherwise discriminate against employees or applicants who inquire about, discuss, or disclose their compensation or the compensation of other employees or applicants, or on any other basis protected by law.
If you are an individual with a disability and desire an accommodation, please contact Kathy Atkins at firstname.lastname@example.org during regular business hours at least 10 business days prior to the event.