29 software-formal-method-phd Postdoctoral research jobs at Virginia Tech

  • Virginia Tech | Blacksburg, Virginia | United States | 29 days 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 14 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 | about 13 hours 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 | 29 days 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 | 30 days 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 | 7 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 | Roanoke, Virginia | United States | 20 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

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

    year. The individual will also be responsible for writing documents, including grant reports and publications. Required Qualifications • PhD in Mathematics or a related field with a background in

  • Virginia Tech | Roanoke, Virginia | United States | 1 day ago

    behaviors. The selected candidate will be expected to help develop these additional projects. Required Qualifications - PhD in psychology or appropriate related discipline. PhD must be awarded no more than

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