265 software-formal-method-phd positions at Virginia Tech

  • Virginia Tech | Blacksburg, Virginia | United States | about 15 hours 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 | about 15 hours 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 | Virginia Beach, Virginia | United States | about 15 hours 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 | about 15 hours 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 | Blacksburg, Virginia | United States | about 14 hours 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 | Remote, Oregon | United States | about 1 month 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 | 1 day 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 15 hours ago

    Forest Sector Industry: A Mixed-Methods Approach.” This interdisciplinary research initiative integrates stakeholder engagement, market analysis, and policy evaluation to develop a strategic

  • Virginia Tech | Virginia Beach, Virginia | United States | about 15 hours ago

    Job Description The Human Resources Applications organization supports, develops, and integrates application software systems and enterprise data used by the Payroll Office and Division of Human

  • Virginia Tech | Blacksburg, Virginia | United States | about 15 hours ago

    research that advances human health and well-being. The successful candidate will have formal training and a strong publication record within dissemination and implementation science, with an emphasis

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