119 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at The Ohio State University
Sort by
Refine Your Search
-
Sciences | Earth Sciences We are seeking a Post Doctoral Scholar to join the School of Earth Sciences at The Ohio State University to conduct geotechnical experiments on marine sediment samples to determine
-
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
-
Sciences | College Administration Natural and Mathematical Sciences The Post Doctoral Scholar will play a key role in advancing interdisciplinary research in STEM higher education to evaluate student
-
Sciences | Earth Sciences We are seeking a Post Doctoral Scholar to join the Polar Geomicrobiology Group in the School of Earth Sciences and Byrd Polar and Climate Research Center at The Ohio State
-
of this research program—spanning basic mechanistic discoveries, application of high-throughput technologies, validation in cancer-relevant mouse models, and translation platforms—is to understand the fundamental
-
| Engineering Education The Postdoctoral Scholar will work under the mentorship of Dr. Monica Cox and in collaboration with Dr. Amena Shermadou to advance interdisciplinary research in engineering education. The
-
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
-
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
-
| Materials Science and Engineering Job Description: Conducts experimental research and development efforts as a Post Doctoral Scholar in the Thermal Materials Laboratory, Mechanical and Aerospace Engineering
-
| Computer Science and Engineering We are seeking a postdoctoral researcher to work on problems at the intersection of algebraic coding theory, matroid theory, and pseudorandomness/derandomization. The focus