10 computational-physics "https:" "https:" "https:" "https:" "Caltech" Fellowship research jobs at Carnegie Mellon University
Sort by
Refine Your Search
-
Listed
-
Field
-
Carnegie Mellon University, Institute for Computer-Aided Reasoning in Mathematics Position ID: 3637-PF [#27988] Position Title: Position Type: Postdoctoral Position Location: Pittsburgh
-
recognize multimodal human behavior in real world settings (e.g., Affective Computing, AI for Healthcare: pain measurement, monitoring mental health disorders). The successful candidate will have primary
-
subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use
-
bioconjugation and polymer processing. Core Responsibilities: Develop strategies to tune the physical and chemical properties of proteins through chemical modification Develop methods to compatibilized proteins
-
an in 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
-
manipulation with physics-based simulation in the loop. Mentoring graduate and undergraduate students. Other duties as assigned. Adaptability, excellence, and passion are vital qualities within Carnegie Mellon
-
of computer graphics, human-computer interaction, computer vision, and machine learning. Conducting comprehensive literature reviews in related areas, including deep generative models, image and video synthesis
-
computational biologists. Publishing research findings in peer-reviewed journals and present at scientific conferences. Mentoring and supervise graduate and undergraduate students in related projects
-
technical/computational backgrounds (ML, NLP, AI safety, working with LLMs) as well as computational social scientists. The ideal candidate bridges these worlds or is eager to learn across them
-
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