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.
- 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.
- Experience developing proposals and managing funded programs.
- Experience mentoring undergraduate and graduate level students.
- Good communication skills.
- Ability to work under limited supervision.
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 military 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 firstname.lastname@example.org during regular business hours at least 10 business days prior to the event.
Each agency within the Commonwealth of Virginia is dedicated to recruiting, supporting, and maintaining a competent and diverse work force. Equal Opportunity Employer
Thank you for sharing this job
It is the policy of the Commonwealth of Virginia to prohibit discrimination on the basis of race, sex, color, national origin, religion, sexual orientation, gender identity, age, veteran status, political affiliation, genetics, or disability in the recruitment, selection, and hiring of its workforce.
Virginia uses E-Verify to check employee eligibility to work in the United States. You will be required to complete an I-9 form and provide documentation of your identity for employment purposes. To check your current eligibility visit Self Check.