Sort by
Refine Your Search
-
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
-
the Blacksburg and Alexandria campuses. The IAC advances world-class research and graduate education and is a key element of Virginia Tech’s strategic growth in Northern Virginia. We seek collegial
-
flagging traffic. Installs directional, building identification and parking lot signs. Provide support and installation of misc. exterior elements across campus such as bike rack, bike fix it stations
-
of the principles of physics * Advanced knowledge of the methods and techniques used for research in computational condensed matter physics * Demonstrated experience of first-principles simulation codes such as VASP
-
growth through applied experience in data processing, simulation, and computational methods. The role contributes to structured technical tasks such as dataset preparation, scenario modeling, and results
-
elements • Design and perform long-term laboratory testing on thermally modified wood CLT assemblies with various protective coatings. • Collect, process, and analyze experimental data; prepare technical
-
performance in advanced nuclear reactor environments. Under the mentorship of the Center Director/PI, the postdoc will develop and apply novel experimental methods, advanced characterization techniques, and
-
analysis and summation of data. Required Qualifications Candidates should have applied research experience in community engagement, community needs assessment, and/or qualitative research methods; Working
-
a variety of contracting methods. Projects range from moderate to advanced difficulty and complexity. The PM will also represent Virginia Tech (VT) during the design/construction process, serving as
-
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