Sort by
Refine Your Search
-
at Carnegie Mellon University invites applications for an adjunct Instructor of Music Theory, starting in the Spring 2026 semester. We seek a colleague to teach special topics and/or upper-level Music Theory
-
Carnegie Mellon University, Mathematical Sciences Position ID: CMU-TTMS [#26882] Position Title: Position Type: Tenured/Tenure-track faculty Position Location: Pittsburgh, Pennsylvania 15213
-
Carnegie Mellon University, Mathematical Sciences Position ID: CMU-PDMFSA [#26884] Position Title: Position Type: Postdoctoral Position Location: Pittsburgh, Pennsylvania 15213
-
and students work across subject areas to investigate and solve real-world problems. The Hoskinson Center for Formal Mathematics is seeking a Research Assistant. In this position, you will be evaluating
-
Carnegie Mellon University, Mathematical Sciences Position ID: CMU-TTKM [#26883] Position Title: Position Type: Non tenure-track faculty Position Location: Pittsburgh, Pennsylvania 15213
-
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
-
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
-
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
-
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
-
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