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.

We are seeking Innovation Engineers and Senior Innovation Engineers to join our founding team. You will:

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

You might be a good fit if you have experience in one of the following:

• Proof assistants and formalization of mathematics (e.g., Lean, Coq, Isabelle)
• Automated reasoning for mathematics (e.g., SAT/SMT solvers, first-order theorem provers)
• Machine learning for mathematics (e.g., model architectures for theorem proving, data-driven exploration of mathematical structures)
• Or experience in related areas and a passion for mathematical discovery

We welcome applicants with varied backgrounds: from recent graduates with strong potential to experienced professionals who can lead substantial technical efforts.

Adaptability, excellence, and passion are vital qualities within Carnegie Mellon University.  We are in search of a team member who can effectively interact with a varied population of internal and external partners at a high level of integrity. We are looking for someone who shares our values and who will support the mission of the university through their work.

Minimum 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.
• A combination of education and relevant experience from which comparable knowledge is demonstrated may be considered.

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

To be a Senior Innovation Engineer, you should have a few years of experience beyond the PhD working with the technologies of interest to the institute, or several years of experience beyond the Masters or Bachelor’s Degree. If you are uncertain whether the senior level is appropriate, apply for the Innovation Engineer position and the level can be determined later.

Requirements

:

• Successful background check

Additional Information:

• This is an in-person position based in Pittsburgh, PA, with opportunities for occasional travel to conferences, workshops, and partner sites. Pittsburgh offers an unusually high quality of life for its cost of living, a thriving arts and food scene, beautiful parks and rivers, and a welcoming, collaborative tech community anchored by Carnegie Mellon and the University of Pittsburgh.
• Please attach a resume and cover letter with your application for full consideration.

Joining the CMU team opens the door to an array of exceptional benefits.

Benefits eligible employees enjoy a wide array of benefits including comprehensive medical, prescription, dental, and vision insurance as well as a generous retirement savings program with employer contributions. 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!

For a comprehensive overview of the benefits available, explore our Benefits page.

At Carnegie Mellon, we value the whole package when extending offers of employment. Beyond credentials, we evaluate the role and responsibilities, your valuable work experience, and the knowledge gained through education and training. We appreciate your unique skills and the perspective you bring. Your journey with us is about more than just a job; it’s about finding the perfect fit for your professional growth and personal aspirations.

Are you interested in an exciting opportunity with an exceptional organization?! Apply today!

Location

Pittsburgh, PA

Job Function

Software/Applications Development/Engineering

Position Type

Staff – Fixed Term (Fixed Term)

Full Time/Part time

Full time

Pay Basis

Salary

More Information:

• Please visit “Why Carnegie Mellon” to learn more about becoming part of an institution inspiring innovations that change the world. 

• Click here to view a listing of employee benefits

• Carnegie Mellon University is an Equal Opportunity Employer/Disability/Veteran. 

• Statement of Assurance