47 formal-verification-computer-science research jobs at Virginia Tech

  • Virginia Tech | Alexandria, Virginia | United States | 7 days ago

    Job Description The Engineering Education and Computer Science Education Researcher works in close collaboration with the Virginia Tech Greater Washington, D.C. Research Faculty and Director of

  • Virginia Tech | Alexandria, Virginia | United States | 28 days ago

    Job Description We invite applications for a postdoctoral associate in theoretical Quantum Information Science in the Computer Science Department of Virginia Tech at the Innovation Campus in

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

    Job Description The Department of Agricultural and Applied Economics invites applications for a postdoc position to develop and provide annual estimate of land use values of open space for all

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

    , materials, virology, computational biology, science communication, community engagement, and ethics. Candidates should demonstrate all relevant qualifications (see required and preferred qualifications below

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

    Job Description Applications are invited for a full-time Research Assistant Professor position in Virginia Tech's Bradley Department of Electrical and Computer Engineering. The successful candidate

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

    . VTTI’s research to practice includes the highly successful Sharing the Road with Trucks outreach program is dedicated to teaching driver education students, and the community, how to safely share the road

  • Virginia Tech | Roanoke, Virginia | United States | about 16 hours ago

    offers the opportunity to work at the intersection of experimental neuroscience and computational data analysis, making it ideal for motivated individuals interested in pursuing graduate or medical

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

    Construction Engineering, Civil Engineering, Mechanical Engineering, Computer Science, Robotics, or a related field. Ph.D. in relevant engineering degree. PhD must be awarded no more than four years prior

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