-
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, implementing
-
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 wet-lab and computational methods including but not limited to next-generation sequencing and data analysis, spatial transcriptomic sequencing and analysis, single-cell studies, advanced cell
-
position in MR Physics. This successful applicant will help with development of MR imaging methods to study tumor metabolism and response to therapy. The research in the MRRF is focused on the development