31 software-formal-method-phd Postdoctoral positions at Virginia Tech

  • Virginia Tech | Blacksburg, Virginia | United States | 24 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 | 1 day 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 | 1 day 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 | 1 day 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 | 24 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 | Alexandria, Virginia | United States | 3 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 | Blacksburg, Virginia | United States | 26 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 | Blacksburg, Virginia | United States | 1 day 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 | 16 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 | 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