-
on human behavior modeling related to video classification using deep learning networks for end-users. Work with other team members to develop and maintain software for maximum efficiency and usability
-
Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs
-
and make sense of mathematical proofs, both as individuals and collectives. How do people prove things? Theme Two: Transcendental Structures: the formal study of mathematical proof itself, as a subject
-
Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs
-
leadership roles in multiple large sky surveys and consortia, including DES, DESI, HSC, LISA, and Rubin LSST. CMU is also a co-host of LINCC Frameworks which is developing analysis software infrastructure
-
depth knowledge of a specialized field, process, or discipline and may involve organizing and implementing complex research plans, the development of methods of research, testing and data collection
-
depth knowledge of a specialized field, process, or discipline and may involve organizing and implementing complex research plans, the development of methods of research, testing and data collection
-
depth knowledge of a specialized field, process, or discipline and may involve organizing and implementing complex research plans, the development of methods of research, testing and data collection
-
Administration, Biological Sciences, Computer Science, and Information Systems. PhD in Psychology, preferably in Social Cognition, by time of application or by August 1, 2026. Teaching experience Experience
-
in behavioral science research methods and statistical analyses. Experience with statistical software (preferably R, others acceptable). Experience with computational/cognitive modeling (e.g