-
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
-
postdoctoral scholar to lead a project investigating genetic risk factors associated with substance use disorders and psychiatric disorders. The successful candidate will join a dynamic interdisciplinary team
-
to design and develop an advanced laboratory course and expand lecture-based content in radiochemistry—enhancing both educational offerings and practical training within the certificate program
-
/grant proposals, administrative and project management, facilities and equipment management, supervision/staffing, and participating in the training of other lab personnel. The successful candidate will
-
will also have the opportunity to learn how to lead science projects and be directed and mentored to be independent. Education Requirement: PhD in biological, biomedical, or physical sciences required
-
, develop grant proposals, and take an active role in current and future research. Current and forth coming projects include prediction of acute kidney injury development due to nephrotoxic medications
-
mentor. The CompEpi group has strong inter-disciplinary ties, and most ongoing projects involve not just CS faculty, but also faculty from internal medicine, epidemiology, biostatistics, and health