4 structures-"https:"-"https:"-"https:" Fellowship positions at Carnegie Mellon University
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
-
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
-
an electric fence" – a space for unbounded creativity within structured constraints. This position directly aligns with the ETC's ongoing commitment to "transformational games, innovation by design, and
-
Cybersecurity. Generally, the post-doctoral fellow must be technically capable in either of these two areas or both. The fellow must be ready to conduct research involving construction of research games