22 software-formal-method-phd "https:" Postdoctoral research jobs at The University of Iowa
Sort by
Refine Your Search
-
Traces (ALT) lab at the Department of Psychological and Quantitative Foundations has an open Postdoctoral Scholar position for an individual with expertise in computational and quantitative methods
-
will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Lean, implementing it
-
research facilities, and high-performance computing resources. Education Requirement: - MBBS, MBBCh, MS, MD, PhD, or MD/PhD in Radiology, Medical Physics, Biomedical Engineering, Computer Science, or a
-
collaborative research environment and will work closely with investigators across psychiatry, neuroscience, engineering, data science, and neuroimaging methods. The position provides opportunities to collaborate
-
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
-
electromagnetic geophysics methods and geophysical field data collection. Participate in field campaigns, including data acquisition and processing. Assist with laboratory setup and instrumentation. Support class
-
of Internal Medicine by watching the video: https://medicine.uiowa.edu/internalmedicine/about-us/why-iowa Successful candidates will be required to self-disclose any misconduct history or pending research
-
(such as language, memory, or attention). Work will be performed using a combination of EEG, intracranial recordings (DBS, sEEG), TMS, fMRI, EMG, brain lesions, computational modeling, and other methods
-
literature related to academic research project(s). Present new results in weekly group meetings. Education Requirement: PhD or equivalent in chemistry or a closely related field, with a strong background in
-
learning opportunities to those seeking to support the needs of talented learners Research and Acceleration: engage in applied and collaborative research that expands methods of talent discovery and