172 software-formal-method-phd positions at Virginia Tech in United States

  • Virginia Tech | Blacksburg, Virginia | United States | about 1 month 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 1 month 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 | about 1 month 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 | about 1 month 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 1 month 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 1 month 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 | about 1 month 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 1 month 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 | 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

  • Virginia Tech | Blacksburg, Virginia | United States | about 1 month ago

    detailed research and progress reports. • Teaching: Pursuing limited teaching opportunities as appropriate. A formalized mentoring plan will be co-developed with Dr. Marston at the start of the position

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