76 model-checking positions at Virginia Tech

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

    Resources, Environmental Engineering, or a related field. We are seeking to recruit an integral, long-term member of our team who will contribute to environmental modeling and forecasting research across

  • Virginia Tech | Danville, Virginia | United States | 3 days ago

    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

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

    , sustainable materials, or engineering to contribute to our ongoing research on improving the hygrothermal performance, structural modeling, and durability of CLT, including hybrid and thermally modified wood

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

    . The position involves research in modeling and simulation of within-host virus dynamics, theoretical immunology and multiscale immune-epidemiological models of infectious diseases and teaching two classes per

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

    . The Consultation Lead’s role provides a consistent place for the flow of both documentation and feedback for Studio consultants. This position identifies needs in policy and change in service model

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

    of Computational Biochemistry. Of particular interest are individuals that utilize or develop cutting-edge modeling and simulation methods across different biomolecules and for the purpose of computer

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

    play a central role in a multidisciplinary project aimed at engineering programmable CRISPRai and optogenetic control systems and developing predictive metabolic models for the oleaginous yeast Yarrowia

  • Virginia Tech | Washington, District of Columbia | United States | about 21 hours 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 | Washington, District of Columbia | United States | about 21 hours 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