Sort by
Refine Your Search
-
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
-
Carnegie Mellon University, Institute for Computer-Aided Reasoning in Mathematics Position ID: 3637-PF [#27988] Position Title: Position Type: Postdoctoral Position Location: Pittsburgh
-
Carnegie Mellon University, Mathematical Sciences Position ID: CMU-PRF [#27310] Position Title: Position Type: Postdoctoral Position Location: Pittsburgh, Pennsylvania 15213
-
political attitudes, reducing belief in conspiracy theories, and, more recently, increasing belief in them. The research sits at the intersection of AI safety and behavioral science, examining both