Applications are invited for a Research Assistant Professor
position (non-tenure track) with the Systems Software Research
Group (http://www.ssrg.ece.vt.edu/) in the Virginia Tech Bradley
Department of Electrical and Computer Engineering. 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 highly scalable and automated techniques to
reason about program behaviors. Additional directions including
developing highly scalable, static and run-time analysis techniques
for source and assembly codes.
- 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
- Computer science or computer engineering PhD graduates with
background and expertise in program verification.
- Candidates must have a well established track record of published
research at program verification conferences and journals.
- Demonstrated creativity, independence, and high motivation.
- Strong work habits and the ability to work independently as well
as within a research group.
- Good communication skills.
- Ability to work under limited supervision.
- Evidence of good project management skills.
Commensurate with Experience
The successful Candidate will be required to have a criminal
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
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
, a school of
, a veterinary
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
. 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
If you are an individual with a disability and desire an
accommodation, please contact K Atkins at email@example.com during
regular business hours at least 10 business days prior to the
June 24, 2021