Sort by
Refine Your Search
-
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
-
collaborative research environment and will work closely with investigators across psychiatry, neuroscience, engineering, data science, and neuroimaging methods. The position provides opportunities to collaborate
-
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
-
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
-
100% postdoctoral position within the Department of Radiology. The primary focus of this research position is to assist in innovative MR image reconstruction and pulse sequence methods. The successful
-
: PhD in Sustainability, Geography, Earth or Environmental Sciences, Engineering, Applied Mathematics, Public Policy and Administration, or a closely related field, with degree conferred by the position
-
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
-
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
-
(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
-
. The postdoctoral scholar 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