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

  • Virginia Tech | Blacksburg, Virginia | United States | about 11 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 11 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 | Blacksburg, Virginia | United States | about 11 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 | Roanoke, Virginia | United States | about 11 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 | Blacksburg, Virginia | United States | 2 months ago

    and laboratory-based methods to investigate the long-term frequency and magnitude of historic and prehistoric earthquakes and tsunamis at the Cascadia, Alaska, and Chile subduction zones. The data

  • Virginia Tech | Roanoke, Virginia | United States | about 10 hours ago

    . The successful 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

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

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

  • Virginia Tech | Blacksburg, Virginia | United States | about 1 month ago

    critical role in advancing computational materials science by developing and applying first-principles and machine learning methods, with a focus on interatomic potential development and large-scale

  • Virginia Tech | Blacksburg, Virginia | United States | 3 months ago

    geophysical and geochemical observations. Required Qualifications • A PhD in geophysics, planetary science, or related field of study by appointment start date. PhD awarded no more than four years prior

  • Virginia Tech | Arlington, Virginia | United States | about 1 month ago

    theory of computing, formal methods, or cryptography; paired with hands-on experience working with real-world security issues. For positions within the Mission Systems Division, individuals with experience

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