231 proof-checking-postdoc-computer-science-logic positions at The University of Iowa
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
POSTDOC SCHOLAR - HEMATOLOGY/ONCOLOGY Requisition # 4528 Position Basics Advertising Ends on:Extended Until Position is Filled Advertising Started on:Monday, December 22nd, 2025 College:Carver
-
POSTDOC JOBS: HUMAN COGNITIVE NEUROSCIENCE Requisition # 4543 Position Basics Advertising Ends on:Saturday, March 28th, 2026 Advertising Started on:Tuesday, February 10th, 2026 College:College
-
OPEN-RANK INSTRUCTIONAL FACULTY - EXERCISE SCIENCE Requisition # 75895 Position Basics Type of PositionOTHER Advertising Ends on:Extended Until Position is Filled Advertising Started on:Monday
-
for the rule, and the names of at least two references. Computational Logic Center The postdoctoral scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC
-
to sexual misconduct in prior employment and provide a related release and will be subject to a criminal background and credential check. Education Requirement: Master’s degree (or higher) in exercise science
-
support can be found at: https://grad.uiowa.edu/postdoctoral-affairs/postdoc-resources . Education Requirement: PhD degree in Biochemistry/Life Sciences/Chemistry/Pharmacology or a related field Required
-
employment and provide a related release and will be subject to a criminal background and credential check. Education Requirement: MD/ DO or equivalent degree and show successful completion of an approved
-
, insurance program externalities, or uncertainty in climate damage attribution. The specific project focus will be defined jointly with the postdoc based on interests and expertise, with the expectation
-
scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and
-
of Psychological and Brain Sciences Postdoctoral Scholar — CAMP Lab (PI: Debbie Yee, Ph.D.) POSITION SUMMARY The Computational Affective Motivational Psychiatry (CAMP) Lab in the Department of Psychological and