Carnegie Mellon University is a private, global research university that stands among the world’s most renowned education institutions. With ground-breaking brain science, path-breaking performances, creative start-ups, big data, big ambitions, hands-on learning, and a whole lot of robots, CMU doesn’t imagine the future, we invent it. If you’re passionate about joining a community that challenges the curious to deliver work that matters, your journey starts here! The Software and Societal Systems S3D department within the School of Computer Science explores the vital intersection of the confluence of software, systems, and society to understand how computational technologies might better serve humanity. We are studying the bigger picture of computing in context in order to develop tools, policies, methods, and much more — all in the name of making the world a safer, more equitable, better place to call home. S3D is seeking a Research Assistant to help build and expand the open-source ecosystem around a new technology for teaching geometry proof to middle- and high-school students. The technology combines a visual representation of proofs, a domain-specific language, a formally verified proof checker, and tools for generating proof content automatically. The research assistant will onboard new contributors, triage issues, write documentation, and work with content developers building on the technology. The role also includes engineering and research work, with about half of the position devoted to the ecosystem. This is an entry-level position suitable for someone who has just completed their undergraduate degree. Some prior experience working in a university research environment as a research assistant is required, but part-time academic year work or full-time summer experience is adequate. A bachelor's degree in computer science, mathematics, or a closely related field is required. Because the position is scheduled to begin in February 2027, applic
