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

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

    , verified decompilation, and automatic patching with provable security properties. Required Qualifications - MS in computer science or computer engineering with background. - Expertise in any of the following

  • Virginia Tech | Blacksburg, Virginia | United States | 3 months 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 software verification computer science

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