114 formal-verification-computer-science Postdoctoral positions at The Ohio State University
Sort by
Refine Your Search
-
Program Department: Medicine | Pathology Post Doctoral Scholar position in the laboratory of Hiroki Taniguchi Ph.D. Research focus is on understanding the molecular, cellular, and circuit mechanisms
-
protein engineering or rational vaccine design. Proficiency with computational tools for structure prediction, modeling, and analysis (e.g., Chimera, PyMOL, Phenix, Rosetta, AlphaFold). Experience mentoring
-
| College Administration We are seeking a highly motivated postdoctoral researcher to join an interdisciplinary collaboration between Dr. Yuan Xue (Department of Biomedical Informatics) and Dr. Andréa
-
| Electrical and Computer Engineering This position researches theoretical and experimental methods for the detection of counterfeit integrated circuits assists with the development of grant writing and
-
Sciences | Chemistry and Biochemistry Administration We are seeking a Post Doctoral Scholar to join the Department of Chemistry and Biochemistry at The Ohio State University. The Post Doctoral Scholar
-
Sciences | Molecular Genetics Administration The Ambro van Hoof Lab is relocating to The Ohio State University is looking to hire a Postdoctoral Scholar to join our lab for a start date beginning or after
-
Sciences | Earth Sciences We are seeking a Post Doctoral Scholar to join the School of Earth Sciences at The Ohio State University. The Post Doctoral Scholar studies interpretation and publication
-
activities, including the submission of new grant applications, related to their work. Required Education: PhD in Engineering Biomechanics, Engineering Mechanics or related field Required Experience: Computer
-
Quantum Information Science and Engineering (QISE). This prestigious fellowship is hosted by the Center for Quantum Information Science and Engineering (CQISE) at The Ohio State University. The ideal
-
engineering related research, makes and records observations and measurements, collects and compiles data for computer input and analysis, perform literature search on related topics, and operates and maintains