17 model-checking research jobs at Virginia Tech

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

    machine learning for next-generation wireless networks, (ii) Foundations of semantic communications and age of information, (iii) Stochastic geometry and spatial modeling of large-scale wireless systems

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

    jurisdictions utilizing land use-value assessment estimates. Duties include, but are not limited to: development of computational methods, maintenance of current models and data sets, identifying and testing

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

    . - Strong proficiency in machine learning, optimization algorithms, and computational modeling applied to construction systems. - Experience with designing and conducting experimental studies to evaluate

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

    CRISPRai and optogenetic control systems and developing predictive metabolic models for the oleaginous yeast Yarrowia lipolytica. This position offers a unique opportunity to conduct cutting-edge research

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

    work with colleagues from Virginia Tech and other collaborating universities to run, analyze, and model human evacuation experiments. Data will include motion capture and psychophysiology data to explore

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

    within the past four years with at least one year of eligibility remaining - Experience with conducting analytical research in aeroacoustics Preferred Qualifications - Expertise with the modeling

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

    microenvironment. The project will employ genetically engineered mouse and human glioma models, along with advanced imaging techniques, single-cell and spatial transcriptomics, and molecular biology approaches

  • Virginia Tech | Washington, District of Columbia | United States | about 1 month ago

    , which has seen little improvement in patient survival over the past decades. Utilizing genetically engineered mouse and human glioma models, our lab investigates how glioma cells interact with the tumor

Enter an email to receive alerts for model-checking positions