487 formal-verification-computer-science positions at Virginia Tech

  • Virginia Tech | Blacksburg, Virginia | United States | about 5 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 | Blacksburg, Virginia | United States | 7 days ago

    • Engagement in personal, professional and community outreach activities • Formal employee award and recognition program • Professional learning opportunities • Generous leave • Comprehensive and affordable

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

    strengths in building construction, business, design, economics, engineering, entrepreneurship, environment, law, planning, and property management. The department also conducts cutting-edge research and

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

    candidate will play a key role in developing and advancing new models and simulations for Computational Fluid Dynamics (CFD) hypersonic codes. Specific tasks include developing new turbulence and transition

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

    guidance, and developing automation scripts to improve efficiency. Required Qualifications • Master’s degree in information technology, Computer Science, Computer Engineering, or a bachelor’s degree with

  • Virginia Tech | Winchester, Virginia | United States | about 6 hours ago

    evaluate educational information programs; knowledge and use of computer technology in educational programming and management and presentation skills; excellent communication skills and the ability to work

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

    of Engineering’s undergraduate program ranks 13th and the graduate program ranks 31st among all U.S. engineering schools while the Mechanical Engineering Department’s undergraduate program is ranked 13th and

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

    Job Description This position will assist the Hampton Roads AREC biological systems engineering (BSE) group in the installation, operation, and maintenance of field and laboratory data collection

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

    or Millwright tasks • Ability to recognize and understand industry terminologies of multiple trades • Ability to use a computer and keep accurate and complete records • Ability to perform work with minimal margin

  • Virginia Tech | Blacksburg, Virginia | United States | 22 days ago

    certifications and completing accredited degree programs • Engagement in personal, professional and community growth activities • Formal employee award and recognition program • Generous paid time off accruing 18

Enter an email to receive alerts for formal-verification-computer-science positions