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

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