2 formal-verification "https:" positions at Virginia Tech

Filters Search

Sort by

Refine Your Search

  • Virginia Tech | Blacksburg, Virginia | United States | about 2 months ago

    areas: formal verification, proof assistants and verification tools, binary/program analysis, or compilers. - Strong expertise with formal methods tools (e.g., theorem provers, SMT solvers, model checkers

  • Virginia Tech | Blacksburg, Virginia | United States | 3 months ago

    involves conducting research at the intersection of program analysis and formal verification toward developing trustworthy tools for reasoning about safety and security properties. Opportunities exist

Enter an email to receive alerts for formal-verification "https:" positions