Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
experience in construction or a closely related discipline. • Demonstrated expertise in construction means and methods in addition to one or more of the following areas: design-build, fundamentals
-
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 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
-
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
-
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
-
areas: formal verification, proof assistants and verification tools, binary/program analysis, or compilers. - Strong expertise with formal methods tools (e.g., theorem provers, SMT solvers, model checkers
-
of mutual interest. Required Qualifications - PhD in computer science or computer engineering with background and expertise in any of the following areas are sought: formal verification, proof assistants and
-
reporting. This position may be tasked with working across multiple projects and in collaboration with broad national teams. Required Qualifications • PhD in agricultural or applied economics or related field
-
of Quantum Architecture and Software Development within the VT Innovation Campus, as well as the Quantum Economic Development Consortium (QED-C), of which Virginia Tech is a member. Required Qualifications The
-
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