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

  • 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 | 3 days 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 | 3 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 | 3 days 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 | 3 days 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 | 12 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 | 3 days 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

  • Virginia Tech | Roanoke, Virginia | United States | 26 days ago

    research project using cutting-edge approaches in whole-cell patch-clamp electrophysiology, in vivo calcium imaging, and animal behavioral tests. • Employ advanced neural circuit dissection methods (e.g

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