172 software-formal-method-phd uni jobs at Virginia Tech

  • Virginia Tech | Blacksburg, Virginia | United States | 17 days ago

    Job Description Reporting to the Senior Director of Learning Systems in Virginia Tech’s Division of Information Technology, the person filling this position will be an application developer in

  • Virginia Tech | Blacksburg, Virginia | United States | 17 days ago

    Job Description The Virginia Tech Transportation Institute (VTTI) seeks a motivated entry-level applications developer to assist with and support the development of research facing tools and

  • Virginia Tech | Blacksburg, Virginia | United States | 17 days ago

    experience in construction or a closely related discipline. • Demonstrated expertise in construction means and methods in addition to one or more of the following areas: design-build, fundamentals

  • Virginia Tech | Virginia Beach, Virginia | United States | 17 days ago

    Job Description Enterprise Systems supports the Virginia Tech community by developing, coordinating, and managing application software systems and enterprise data to provide critical information

  • Virginia Tech | Blacksburg, Virginia | United States | 17 days ago

    Job Description The successful candidate will work as a member of the IT Development Team to deploy and maintain infrastructure and data platforms for use by research projects. They will be expected to apply a cross-functional skillset to design, develop, and manage a variety of systems in...

  • Virginia Tech | Remote, Oregon | United States | 3 months ago

    Job Description Reporting to the Accessibility Developer Team Lead in Virginia Tech’s Office for Civil Rights Compliance and Prevention Education, this position will assist in providing guidance

  • Virginia Tech | Blacksburg, Virginia | United States | 17 days ago

    agribusiness, the continuous improvement in teaching methods and curriculum within undergraduate and graduate programs, the building of relationships with employers of agribusiness management alumni, and

  • Virginia Tech | Blacksburg, Virginia | United States | 17 days 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 2 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

  • Virginia Tech | Blacksburg, Virginia | United States | 17 days ago

    customers. Knowledge, Skills, and Abilities • Working knowledge of chemical, biological, and/or radiological principles. • Working knowledge of computers and software. • Ability to provide emergency response

Enter an email to receive alerts for software-formal-method-phd positions