42 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at Virginia Tech
Sort by
Refine Your Search
-
and security challenges, build sustainable solutions, and provide expert perspective on using AI. Required Qualifications - PhD in computer science, statistics, data analytics, business administration
-
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
-
Carilion (VTC). About the Lab: The lab integrates state-of-the-art neural recording technologies, complex cognitive tasks, and computational models to investigate the neural basis of flexible cognition. From
-
• Experience in molecular biology techniques • Experience in computational data analysis and scientific programming (Python, R, MATLAB) • Experience in connectome analysis • Experience in molecular dynamics
-
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
-
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
-
. 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
-
supervision of Prof. Yingda Cheng on computational methods and modeling for kinetic equations. The research conducted will involve development of numerical methods, development and analysis of reduced order