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

  • Virginia Tech | Virginia Beach, Virginia | United States | 24 days 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 | 1 day 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 | 1 day 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 | 1 day 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 | 1 day 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 | Blacksburg, Virginia | United States | about 13 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 | Roanoke, Virginia | United States | 1 day 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 | 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

  • Virginia Tech | Blacksburg, Virginia | United States | 1 day ago

    , and reviewing formal documents, preferably legal or financial in nature. • Proficiency using Microsoft Word (including advanced formatting and merges), Excel (sorting, data comparison), and PowerPoint

  • Virginia Tech | Blacksburg, Virginia | United States | 1 day ago

    professional at the Accountant or Senior Accountant level to join our financial reporting team of six to: 1. Ensure the data integrity in lease accounting software related to leases and subscription based

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