Innovation Engineer - Office of the Vice President for Research
On-site · Pittsburgh, Pennsylvania, United States
Job Summary
Join the Institute for Computer-Aided Reasoning in Mathematics (ICARM) at Carnegie Mellon University as an Innovation Engineer. You will develop documentation and tutorials to assist researchers in adopting AI technologies for formal mathematics and provide mentorship for learning new reasoning technologies. Maintain software and datasets while collaborating on tool design and implementation. Ideal candidates have experience with proof assistants, automated reasoning, or machine learning in mathematics, with strong software engineering skills and the ability to work closely with a diverse group of researchers. A Bachelor’s degree and relevant programming experience are essential.
Required Qualifications
- 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.
Desired Qualifications
- 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.
Additional Requirements
- Successful background check
Apply with one swipe on Sorce. We auto-fill applications and apply on your behalf — no cover letters, no 40-minute forms.
Hiring someone like this?
Get your role in front of qualified candidates on Sorce.