158 software-formal-method-phd positions at Virginia Tech in United States

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

    Virginia Tech Advanced Research Computing (ARC) seeks a Research Software Engineer for a one-year restricted role developing HPC tools supporting cutting-edge research and innovation. ARC hosts

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

    university constituents. FITI is currently seeking an Applications and Data Programmer to be an integral part of the FITI Business Application Solutions team that designs, develops and supports innovative

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

    Job Description The IT department of the Pamplin College of Business is seeking a web developer who is skilled in designing front ends to enhance and maintain the customer-facing aspects of our web

  • 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 | Winchester, Virginia | United States | about 2 hours ago

    analytical methods and instrumentation to support viticulture, grape pathology, tree fruit pathology, and tree fruit horticulture programs. Responsibilities include collecting and analyzing plants and plant

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

    general supervision. Responsibilities include tasks such as the development of new or improved analytical methods/frameworks, experimental and field study design and data collection, and communication

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

    Organizations (GPO) for whom we utilize for cooperative contracting. Required Qualifications - Demonstrated proficiency in database management and computer software applications in a Windows environment

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

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