Position Description

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.