1 structures-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"LGEF" Fellowship positions at Carnegie Mellon University in United States

Postdoctoral Fellow - DeDeo Lab - Dietrich College

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

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