47 formal-verification-computer-science research jobs at Virginia Tech

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

    Job Description The Department of Computer Science, the Department of Electrical and Computing Engineering, and the Innovation Campus at Virginia Tech will be jointly hosting a Postdoctoral

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

    beneficials and count pest and beneficial insect densities from collected plant samples in a timely manner, and as directed. 3) Data collection and entry. Assist with data compilation and entry into computer

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

    optimize LIFU as a new human brain mapping tool and for translation to clinical therapies in addiction, mental health and pain. Knowledge in basic computer skills, record keeping and experience with human

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

    Job Description Dr. Zhiwu (Drew) Wang’s research team at Virginia Tech invites applications from highly motivated candidates specializing in environmental engineering, specifically focused on PFAS

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

    his PhD degree in Prof. Curtis Berlinguette’s lab at University of British Columbia in Canada in 2018. He then moved to Prof. Erwin Reisner’s lab at the University of Cambridge for postdoc program. In

  • Virginia Tech | Arlington, Virginia | United States | 2 months ago

    engineering, provably secure computing, and security for embedded/industrial/control systems and networks are sought. Successful applicants will have a mixture of theoretical foundations in areas such as the

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

    comfortable with interactions with mice to maintain a successful operation of the research activities. Fundamental knowledge and an interest in molecular and cell biology is a necessity. Techniques we use

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

    microenvironment to drive malignant progression. Our research lies at the intersection of glial biology and brain cancer, with a particular emphasis on malignant glioma, the most aggressive form of primary brain

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

    interdisciplinary team at the NSF COMPASS Center, which integrates tissue engineering, stem cells, materials, virology, computational biology, machine learning, molecular environmental engineering, science

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

    and the Bradley Department of Electrical and Computer Engineering at Virginia Tech, Blacksburg, VA. The position involves conducting experimental research in the broad scope of wireless communications

Enter an email to receive alerts for formal-verification-computer-science positions