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

  • Virginia Tech | Remote, Oregon | United States | about 12 hours ago

    Job Description Reporting to the Accessibility Developer Team Lead in Virginia Tech’s Office for Civil Rights Compliance and Prevention Education, this position will assist in providing guidance

  • Virginia Tech | Virginia Beach, Virginia | United States | 21 days 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 | 6 days ago

    and related 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

  • Virginia Tech | Blacksburg, Virginia | United States | 28 days 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 | 2 months 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 12 hours ago

    supervision of Prof. Yingda Cheng on computational methods and modeling for kinetic equations. The research conducted will involve development of numerical methods, development and analysis of reduced order

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

    , and policy. Required Qualifications • PhD in economics, applied economics, or a related field combining computational / quantitative modeling and methods with economic theory and / or applications by

  • Virginia Tech | Blacksburg, Virginia | United States | about 11 hours 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 | 21 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 | about 11 hours 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

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