- Carnegie Mellon University (Pittsburgh, PA)
- …organization?! Apply today!** **Location** Pittsburgh, PA **Job Function** Pre/ Post - Doctoral Associates & Fellows **Position Type** Postdoctoral Associate / ... the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space… more