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

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

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

    Performance Computing & Linux • A proven track record of peer-reviewed publications Preferred Qualifications • Experience with US3D CFD software • Experience developing numerical CFD methods for integration

Searches related to software verification computer science

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