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

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

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