42 formal-verification-computer-science "https:" Postdoctoral positions at Virginia Tech
Sort by
Refine Your Search
-
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
-
computational biology. The successful candidate will have opportunities to interact with scientists across the Department of Entomology, the Fralin Life Sciences Institute, The Invasive Species Collaborative, and
-
that can be repurposed for viruses with pandemic potential. This includes working closely with computer scientists to utilize published “omics” datasets and machine learning approaches to identify FDA
-
Open, Communications Earth & Environment, Computers, Environment and Urban Systems, and Travel Behaviour and Society. His research has been supported by the National Science Foundation, OpenAI, Virginia
-
and collaborative researcher with expertise in engineering, materials science, or related computational fields to contribute to our research program focused on transport packaging optimization and
-
and security challenges, build sustainable solutions, and provide expert perspective on using AI. Required Qualifications - PhD in computer science, statistics, data analytics, business administration
-
and life insurance, Virginia Tech offers employees a robust benefits program. This full range of benefits, services, and competitive salaries are an integral part of the university's total compensation
-
disorders. We will establish a program for deeply characterizing the biology and information processing changes of affected individuals and their response to different treatments. Research Techniques will
-
. The labs are jointly pursuing projects probing the intersection of metabolism and computational neuroscience. We are seeking to integrate metabolic signals with canonical computational frameworks to further
-
• Experience in molecular biology techniques • Experience in computational data analysis and scientific programming (Python, R, MATLAB) • Experience in connectome analysis • Experience in molecular dynamics