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

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

    Dr. Adam Coates and includes Drs. Carrie Fearer, Verl Emrick, and Mark Ford as Co-PIs. Goals for this project include: (1) Inventory of fuels, using traditional transect methods and terrestrial laser

  • Virginia Tech | Roanoke, Virginia | United States | about 2 months ago

    – Coordinating with and assisting the PI in the design of experiment and grant proposal methodology as well as methods for analyzing the results of experiments. 2. Research Publications – Preparation of text

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

    – Coordinating with and assisting the PI in the design of experiment and grant proposal methodology as well as methods for analyzing the results of experiments. 2. Research Publications – Preparation of text

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

    of grant proposals. Required Qualifications • PhD in Neuroscience, Biomedical Engineering, Psychology, or a closely related quantitative field. PhD must be awarded no more than four years prior

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

    necessary software provided by the school Key Responsibilities The Postdoctoral Associate will: • Develop research ideas and contribute to study design in areas including corporate governance and financial

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

    Sciences, Geodesy, Physics, Mathematics, Computer Sciences, Civil & Environmental Engineering, or a related field. PhD awarded no more than four years prior to the effective date of appointment with a

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

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

  • Virginia Tech | Alexandria, Virginia | United States | about 2 months ago

    neural receiver, from reflecting intelligent surfaces (RIS)/integrated sensing and communications (ISaC) to network design using O-RAN, from statistical learning theory to software defined radio (e.g

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

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