126 formal-verification-computer-science Postdoctoral positions at Stanford University
Sort by
Refine Your Search
-
are not limited to, using the latest computational learning-driven approaches, including computational social science, foundation models and multimodal machine learning, to enhance the development
-
research experience. Research track record should be demonstrated via prior publications in relevant venues in psychology, cognitive science, education, or human-computer interaction. Knowledge and expertise
-
in the Department of Psychiatry and Behavioral Sciences at Stanford University is seeking a highly motivated postdoctoral researcher to join our interdisciplinary team. Our lab focuses on understanding
-
emphasis on developing, testing, and implementing optimized control or design strategies for water systems. They should have documented experience developing computational tools in water, or energy, or
-
Posted on Mon, 12/09/2024 - 09:09 Important Info Faculty Sponsor (Last, First Name): Fletcher, Sarah Stanford Departments and Centers: Civil and Environ Engineering Postdoc Appointment Term: 2 years
-
, such as electronic health records and genomic data, to provide actionable insights to clinicians, researchers, and patients. The lab bridges computer science and medicine through affiliations with
-
postdoctoral fellow with interest in organic chemistry and radiopharmaceutical development. Successful candidates will join the Molecular Imaging Program at Stanford within the Department of Radiology, Stanford
-
cell biology including neuroscience, GPCRs or related techniques, and/or (3) computational biology are encouraged to apply. We welcome applications from women, minorities, and other underrepresented
-
Posted on Mon, 01/13/2025 - 16:30 Important Info Faculty Sponsor (Last, First Name): Lo, Irene Stanford Departments and Centers: Mgmt Sci & Engineering Stanford Impact Lab (SIL) How to Submit
-
, Biomedical Engineering, Computational Biology, or a related field. Strong background in signal processing, including neuroimaging and/or electrophysiology (EEG, MEG) data analysis. Expertise in computational