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

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

    Forest Sector Industry: A Mixed-Methods Approach.” This interdisciplinary research initiative integrates stakeholder engagement, market analysis, and policy evaluation to develop a strategic

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

    methods, knowledge-graph and ontology-based scientific data infrastructures, and agentic workflows for autonomous hypothesis generation, mechanistic exploration, and design of catalytic systems. Candidates

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

    government partners, we conduct cutting-edge research on paper-coating technologies using aqueous spray-coating methods to address emerging challenges in food and healthcare packaging. We are seeking a highly

  • Virginia Tech | Alexandria, Virginia | United States | about 1 hour ago

    of software code that complements the existing capabilities of SPL. As part of the position duties will be the expectation that the candidate would travel to Belgium to visit with the engineers and managers

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

    research program that works both within and at the boundaries of data science/econometric methods and the social sciences to discover, create, and disseminate new knowledge. The successful candidate will

  • Virginia Tech | Blacksburg, Virginia | United States | about 1 month 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 | 27 days 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 | 2 months 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

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