62 model-checking positions at Virginia Tech

  • Virginia Tech | Roanoke, Virginia | United States | 6 days ago

    , and archiving technologies. • Experience with task automation and wholistic management of enterprise workstation environments. • Understanding of the OSI model for computer network environments

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

    predictive modeling approaches to understand corrosion mechanisms and coolant/fuel chemistry in extreme conditions. The successful candidate will oversee corrosion-focused projects sponsored by industry and/or

  • Virginia Tech | Blacksburg, Virginia | United States | 3 months ago

    candidate will join Dr. Siddharth Saksena’s research group, which focuses on advancing hydrologic modeling, flood forecasting, and hydroinformatics through the integration of artificial intelligence, physics

  • Virginia Tech | Blacksburg, Virginia | United States | about 2 months ago

    to support research efforts focused on animal models of chronic pain using a variety of techniques. The majority of time will be devoted to research efforts, with a smaller proportion of time devoted to lab

  • Virginia Tech | Blacksburg, Virginia | United States | about 1 month ago

    athletics or professional sports organizations. Familiarity with ticketing systems, CRM tools, and revenue optimization models. Experience conducting statistical evaluations for team or player performance

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

    conditions, particularly for unsaturated and multiphase systems. We seek candidates with grain- and pore-scale modeling expertise with a focus on fundamental mechanisms governing complex soil responses

  • Virginia Tech | Washington, District of Columbia | United States | about 2 months ago

    and training junior scientists. Our lab uses patient-derived samples, iPSC models, CRISPR-based genome editing, single-cell multi-omics, and mouse disease models to uncover how germline and acquired

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

    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

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

    studios and maker spaces, experimenting with materials, processes, and concepts. Together, our faculty and students prototype using robots, drawings, and models, and engage in collaborative reviews

  • Virginia Tech | Washington, District of Columbia | United States | about 2 months ago

    and AML. We integrate genomic and functional approaches on patient derived samples, iPSC and mouse disease models to uncover mechanisms and therapeutic vulnerabilities. Current project areas include: 1

Enter an email to receive alerts for model-checking positions