Email Gateway (Oct 10 2022 at 04:17): Email Gateway (Oct 10 2022 at 04:17):From: Binoy Ravindran <binoy@vt.edu>
Postdoctoral research positions at Virginia Tech, USA or The Open
University, The Netherlands are available on a DARPA project at the
intersection of formal verification and binary analysis. Project goals
include 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.
Recent computer science PhD graduates with expertise in any of the
following areas are sought: formal verification, proof assistants and
verification tools, binary/program analysis, or compilers. The positions
are available either at Virginia Tech or The Open University (or a
combination with time at both universities) and have no teaching
obligations. For experienced candidates, Research Assistant Professor
appointments at Virginia Tech (inclusive of funding for graduate students)
are possible.
Interested candidates are requested to contact Prof. Binoy Ravindran (
binoy@vt.edu) with a CV or for any questions.
Last updated: Apr 20 2024 at 08:16 UTC