Innovation Engineer - Office of the Vice President for Research

About the role

The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a new NSF Mathematical Sciences Research Institute located at Carnegie Mellon University. Our mission is to empower mathematicians to take advantage of emerging technologies for mathematical reasoning, support cross-disciplinary collaboration to explore and extend these technologies, and ensure that mathematics and these tools are accessible to a broad audience.

Responsibilities

• Develop documentation, tutorials, training materials, and other resources to help others adopt and extend these solutions.
• Provide technical support and mentorship to mathematicians learning or applying new reasoning technologies.
• Maintain and curate software, datasets, and other resources for the community.
• Collaborate on the design, implementation, and refinement of tools for formal mathematics.
• Foster connections across disciplines, including mathematics, computer science, education, and industry.
• Participate in ICARM programs such as workshops, summer schools, and collaborative visits.

Requirements

• Bachelor’s Degree required.
• 1-3 years of systems programming and administration experience.
• Proficiency in at least one relevant technical domain.
• Strong software engineering skills and familiarity with collaborative development practices.
• Able to work closely with researchers and translate between mathematical goals and technical solutions.

Qualifications

• A combination of education and relevant experience from which comparable knowledge is demonstrated may be considered.
• Advanced degree (MS or PhD) in mathematics, computer science, or a related field—or equivalent practical experience.
• 3-5 years of systems programming and administration experience.
• Experience contributing to open-source projects.
• Background in mathematical research or close collaboration with researchers.

Benefits

Unlock your potential with tuition benefits, take well-deserved breaks with ample paid time off and observed holidays, and rest easy with life and accidental death and disability insurance. Additional perks include a free Pittsburgh Regional Transit bus pass, access to our Family Concierge Team to help navigate childcare needs, fitness center access, and much more!