Sort by
Refine Your Search
-
languages (such as advanced type systems and functional logic programming) to bridging the gap between ad hoc array processing and formally verified functional programming using interactive theorem provers
-
trainees · Education (10%) o Participation in our OSH interdisciplinary symposium with MAP ERC faculty and fellow trainees o Provide ad-hoc lectures to ColoradoSPH courses Work Location: Hybrid
-
providing additional scientific and management guidance and mentorship. This includes ad hoc support to students and junior researchers (who have their primary supervisors among the postdoctoral and PhD
-
ad hoc guidance to graduate students in collaboration with the laboratory manager. Qualifications Appropriate Ph.D. A well-qualified candidate for this position will also possess: Ph.D in Psychology