Research Assistant Professor

Virginia Tech
Virginia, United States
Salary Not Specified
Posted date
Jun 24, 2021

View more

Position Type
Faculty Positions, Science, Technology & Mathematics, Biotechnology & Bioengineering, Computer Sciences & Technology, Other Science & Technology
Employment Type
Full Time

Job Description

Applications are invited for a Research Assistant Professor position (non-tenure track) with the Systems Software Research Group ( 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.

Responsibilities include:
- 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

Required Qualifications

- 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.

Preferred Qualifications

- Good communication skills.
- Ability to work under limited supervision.
- Evidence of good project management skills.

Appointment Type


Salary Information

Commensurate with Experience

Review Date


Additional Information

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 K Atkins at during regular business hours at least 10 business days prior to the event.

Advertised: June 24, 2021
Applications close:

Get job alerts

Create a job alert and receive personalised job recommendations straight to your inbox.

Create alert