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

  • Virginia Tech | Blacksburg, Virginia | United States | about 21 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 20 hours 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 21 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 | Alexandria, Virginia | United States | about 21 hours 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 | about 20 hours 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 21 hours 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 | Roanoke, Virginia | United States | about 21 hours 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 | about 20 hours ago

    candidate should also be detail oriented and enjoy a diverse working environment. Required Qualifications • PhD in biology, neuroscience, genetics or related field. PhD must be awarded no more than four years

  • Virginia Tech | Washington, District of Columbia | United States | about 20 hours ago

    datasets, machine learning, and experimental methods to investigate how the tumor microenvironment and gene regulatory factors control tumor metastasis cascade. By advancing our understanding of malignant

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

    ) in their application packet. Required Qualifications • PhD in Chemical Engineering, Biomedical Engineering, Materials Science and Engineering, Biological Sciences, Chemistry or related field. The PhD

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