191 software-formal-method-phd positions at Virginia Tech

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

    the preparation 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 2 months ago

    (Python, C/C++, Fortran, R, etc.). • Experience working with HPC clusters and workflow orchestration tools • Familiarity with software development best practices (version control, testing, documentation

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

    Qualifications • DVM or equivalent degree. • PhD in a relevant field. • Board certification as a diplomate of the American College of Veterinary Pathologists (ACVP). • Excellent communication skills. Preferred

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

    from conception to completion. Projects are valued up to $3 million, vary in difficulty and complexity, and utilize a variety of contracting methods. The Project Manager will represent Virginia Tech

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

    project is being led by Dr. Adam Coates and includes Drs. Carrie Fearer, Verl Emrick, and Mark Ford as Co-PIs. Goals for this project include: - Inventory of fuels, using traditional transect methods and

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

    working directly with sport equipment vendors on apparel contracts, such as NIKE, Adidas, and/or Under Armour. Experience fitting, issuing, and appropriate cleaning methods/procedures for equipment and

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

    of forest inventory methods and procedures, including measuring tree and stand attributes such as species, diameter, height, regeneration, and forest health indicators. 4. Ability to identify common tree

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