-
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
-
imaging methods and metabolic function tests to assess airway epithelial function and neuronal health. This is a non-tenure track position, and the appointment length will coincide with available funding
-
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
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions