Research Scientist

Virginia Tech

Blacksburg, VA

ID: 7063510
Posted: February 14, 2020
Application Deadline: Open Until Filled

Job Description

Job Description

Applications are invited for a Research Scientist position with the Systems Software Research Group ( at Virginia Tech. The position involves conducting research on program analysis and verification, in particular, on the topic of automated reasoning of unintended, emergent program behaviors (e.g., weird machines) and verifying their non-exploitability. Additional thrusts include verified decompilation and verified recompilation.

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

Computer science or computer engineering PhD graduates with a background and publication record in verification, security, or program analysis required.

Preferred Qualifications

Background in theorem proving (e.g., Coq, HOL4, etc), program analysis techniques, low-level system software including assembly code, ISA semantics, and functional programming are highly desirable.


Apply Now

Please mention to the employer that you saw this ad on