3 computational-"https:" "https:" Fellowship positions at Carnegie Mellon University

Postdoctoral Fellow

Carnegie Mellon University | Pittsburgh, Pennsylvania | United States | about 7 hours ago

Carnegie Mellon University, Institute for Computer-Aided Reasoning in Mathematics Position ID: 3637-PF [#27988] Position Title: Position Type: Postdoctoral Position Location: Pittsburgh

Postdoctoral Fellow - Robotics Institute

Carnegie Mellon University | Pittsburgh, Pennsylvania | United States | about 8 hours ago

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

Postdoctoral Fellow - DeDeo Lab - Dietrich College

Carnegie Mellon University | Pittsburgh, Pennsylvania | United States | 3 months ago

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