Sort by
Refine Your Search
-
activities are planned and conducted in accordance with regulations and University policy. The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a new NSF Mathematical Sciences Research
-
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
-
Carnegie Mellon University, Mathematical Sciences Position ID: CMU-PDAA [#27130] Position Title: Position Type: Postdoctoral Position Location: Pittsburgh, Pennsylvania 15213
-
Incumbent is a student performing an hourly paid internship. Malware Analysis Intern – Summer 2026 What We Do: The SEI helps advance software engineering principles and practices and serves as a national resource in software engineering, computer security, and process improvement. The SEI works...
-
School for the Sciences (PGSS) was established to provide a summer enrichment experience in the sciences and mathematics for hardworking Pennsylvania high school students and to encourage them to pursue
-
for mathematical discovery by enabling solvers to natively work with high-level structures such as cardinality constraints without requiring users to craft intricate encodings. Building on recent advances in compact
-
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
-
activities are planned and conducted in accordance with regulations and University policy. The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a new NSF Mathematical Sciences Research
-
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