Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
Assistant. This position will work with research projects pertaining theoretical computer science, specifically graph algorithms and fine-grained complexity. Analyze, record and assess data. Write and test
-
graphing technologies to create dynamic student experiences. Automate processes using programming languages and scripting to streamline content development. Utilize SQL and data analytics to generate reports
-
educational concepts through engaging, interactive visuals. Write code for interactive tools and activities using a math graphing tool, creating experiences that enhance learning and engagement for students
-
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
-
the Center for Arts in Society, the Frank-Ratchye STUDIO for Creative Inquiry, and IDeATe; and a unique curriculum that includes contextual practice, critical theory, and technology alongside programs
-
principles from economics, game theory, and market design to ensure sustainable and fair development for providers and users. Develop software components, simulation tools, or prototype systems that integrate
-
intelligent autonomous systems operating under uncertainty, limited information, strategic human behavior, and complex multi-agent interactions. The postdoc will work at the intersection of control theory
-
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
-
candidates in all areas of statistics and data science, as well as related interdisciplinary fields. Potential areas of interest include but are not limited to computational finance, statistical theory