80 model-checking positions at Virginia Tech

  • Virginia Tech | Blacksburg, Virginia | United States | 1 day 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 | Remote, Oregon | United States | 1 day ago

    : development of computational methods; maintenance of current models and data sets; and identifying and testing alternative data sources. Maintain detailed design specifications and written documentation

  • Virginia Tech | Danville, Virginia | United States | 18 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 | 1 day 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 | 1 day 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 | 1 day ago

    conversion techniques, high-frequency and high-density power conversion, distributed power systems, high-frequency magnetics, integrated components and circuits techniques, modeling & control of converters

  • Virginia Tech | Blacksburg, Virginia | United States | 1 day ago

    establishing a successful business partner model. Building on this foundation, the Senior Director will help elevate a strong HR organization to the next level by strengthening strategic planning, project

  • Virginia Tech | Blacksburg, Virginia | United States | 1 day ago

    teaching the students) on predetermined occasions. The successful candidate will be expected to work in cooperation with other faculty to provide a positive learning experience and serve as a role model for

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

    experience, and fit with the job description and School; and (3) a list of three references (names, address, phone numbers, and email contacts). Please direct questions about the position to Megan Duncan

Enter an email to receive alerts for model-checking positions