Carnegie Mellon University's Institute for Computer-Aided Reasoning in Mathematics (ICARM) is seeking Innovation Engineers to empower mathematicians to take advantage of emerging technologies for mathematical reasoning, support cross-disciplinary collaboration, and ensure that mathematics and these tools are accessible to a broad audience.
Requirements
- 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)
- 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.
- 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.
Other
- Bachelor’s Degree required.
- 1-3 years of systems programming and administration experience.
- Ability to effectively interact with a varied population of internal and external partners at a high level of integrity.
- Successful background check
- Adaptability, excellence, and passion are vital qualities within Carnegie Mellon University.
