38 software-formal-method-phd research jobs at Virginia Tech

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

    and optimization of measurement-based quantum computing protocols for quantum simulation of quantum many-body models.  Preference will be given to candidates familiar with the stabilizer formalism and

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

    performance in advanced nuclear reactor environments. Under the mentorship of the Center Director/PI, the postdoc will develop and apply novel experimental methods, advanced characterization techniques, and

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

    supervision of Prof. Yingda Cheng on computational methods and modeling for kinetic equations. The research conducted will involve development of numerical methods, development and analysis of reduced order

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

    repertoires of different viral groups groups, and the development of bioinformatic methods for genomic and evolutionary analyses. The research will address critical questions regarding the evolution and

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

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

    knowledge of analysis software packages is desired. The applicant must be interested in improving transportation safety and be willing to work on multiple projects in a fast paced, demanding, and highly

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

    jurisdictions utilizing land use-value assessment estimates. Duties include, but are not limited to: development of computational methods, maintenance of current models and data sets, identifying and testing

  • Virginia Tech | Alexandria, Virginia | United States | 14 days ago

    communications (ISaC) to network design using O-RAN; from statistical learning theory to software defined radio (e.g., USRP) prototypes. The Bradley Department of Electrical and Computer Engineering has both

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

    teaching and learning using service design principles and methods. As a member of the Digital Learning Innovation group, the UX Researcher strives for a balanced, holistic view informed by a deep

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