Innovation Engineer - Office of the Vice President for Research

Carnegie Mellon University • Pittsburgh, PA

104d

About The Position

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 Office of the Vice President for Research (OVPR) has responsibility for nurturing interdisciplinary research initiatives at one of the nations' leading research institutions. OVPR provides overall research administration and policy for all colleges and schools, as well as the university's more than 100 centers and institutes. Working closely with deans, department heads, faculty, students and staff, the office provides an innovative and supportive research environment that spans all disciplines and campuses and assures that research 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 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. Ensure that mathematics and these tools are accessible to a broad audience. A distinctive feature of ICARM is our Innovation Engineer team—technical staff who work side-by-side with mathematicians and other researchers to build, adapt, and apply tools from all facets of AI to solve concrete problems in mathematical research.

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.
• Ability to work closely with researchers and translate between mathematical goals and technical solutions.
• A combination of education and relevant experience from which comparable knowledge is demonstrated may be considered.

Nice To Haves

• 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.

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.

Benefits

• Comprehensive medical, prescription, dental, and vision insurance.
• Generous retirement savings program with employer contributions.
• Tuition benefits.
• Ample paid time off and observed holidays.
• Life and accidental death and disability insurance.
• Free Pittsburgh Regional Transit bus pass.
• Access to Family Concierge Team to help navigate childcare needs.
• Fitness center access.

What This Job Offers

• Job Type: Full-time
• Career Level: Entry Level
• Education Level: Bachelor's degree
• Number of Employees: 1,001-5,000 employees