2 formal-verification-computer-science positions at Virginia Tech

Filters Search
  • Virginia Tech | Blacksburg, Virginia | United States | about 4 hours 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 | about 3 hours ago

    of mutual interest. Required Qualifications - PhD in computer science or computer engineering with background and expertise in any of the following areas are sought: formal verification, proof assistants and

Searches related to formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions