Research Assistant - Open-Source Geometry Proof Tools

Carnegie Mellon University; Pittsburgh (Allegheny County); On-site; USD 30,000 - 39,000; Full time

Benefits offered by this job

Tuition benefits

Paid time off and holidays

Life and disability insurance

Transit pass

Job summary

Carnegie Mellon University’s S3D department seeks a Research Assistant to help expand an open-source ecosystem around a novel geometry-proofs teaching technology. The role blends engineering and research, with half the time on ecosystem work and half on hands-on development in a university setting.

The entry-level position requires a Bachelor’s in CS or math, prior research exposure, and the ability to work with content developers and teachers.

Qualifications

• Bachelor’s Degree required.
• Previous research experience required.
• A combination of education and proven experience may be considered.

Responsibilities

• onboard new open-source contributors by guiding them through environment setup, codebase orientation, and first contributions; answer questions in issue trackers and forums.
• Triage incoming issues and pull requests by reproducing bugs, labeling and prioritizing reports, routing to maintainers.
• Write and maintain documentation for the proof domain-specific language, the ENDER visual proof renderer, and the proof checker for content developers and teachers.
• Support content developers building on the platform, including helping them author, test, and debug proofs and use the automated proof-generation tools.
• Implement features and fix defects in the React and TypeScript rendering application, including the synchronized diagram and two-column text views.
• Contribute to the grammar and proof checker, including writing test cases for correct, incorrect, and partial proofs.
• Assist with research on proof comprehension, such as designing study materials and supporting data collection under IRB protocols.
• Collaborate with a team, adapt, learn quickly, and contribute to open-source ecosystem development.

Skills

Research experience

IRB protocols

Education

Bachelor's degree in computer science / mathematics or related field

Tools

React

TypeScript

Job description

Carnegie Mellon University’s S3D department seeks a Research Assistant to help expand an open-source ecosystem around a novel geometry-proofs teaching technology. The role blends engineering and research, with half the time on ecosystem work and half on hands-on development in a university setting.

The entry-level position requires a Bachelor’s in CS or math, prior research exposure, and the ability to work with content developers and teachers.