Innovation Engineer - Office of the Vice President for Research

## 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. - 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. - Successful background check ## Nice to Have - 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 - Comprehensive medical, prescription, dental, and vision insurance - Generous retirement savings program with employer contributions - Tuition benefits - Paid time off and observed holidays - Life and accidental death and disability insurance - Free Pittsburgh Regional Transit bus pass - Access to Family Concierge Team for childcare needs - Fitness center access - And much more Joining the CMU team opens the door to an array of exceptional benefits.