Innovation Engineer: Formal Math & Reasoning Tools

Carnegie Mellon University; Pittsburgh (Allegheny County); On-site; USD 90,000 - 130,000; Full time

Benefits offered by this job

Bus pass (CMU)

Family concierge

Fitness center access

Life & disability insurance

Tuition benefits

Job summary

Carnegie Mellon University, an in-person role in Pittsburgh, seeks Innovation Engineers for ICARM. You will develop resources, mentor mathematicians, and maintain software and datasets for the community, while collaborating across mathematics, CS, education, and industry.

The team engages in workshops, summer schools, and collaborative visits, welcoming varied backgrounds from new graduates to seasoned professionals who can lead technical efforts.

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 translate between mathematical goals and technical solutions.
• A combination of education and relevant experience may be considered.

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.

Skills

Proof assistants & formalization

Automated reasoning

Machine learning for math

Cross-disciplinary collaboration

Education

Bachelor’s Degree

Advanced degree in math/CS

Job description

Carnegie Mellon University, an in-person role in Pittsburgh, seeks Innovation Engineers for ICARM. You will develop resources, mentor mathematicians, and maintain software and datasets for the community, while collaborating across mathematics, CS, education, and industry.

The team engages in workshops, summer schools, and collaborative visits, welcoming varied backgrounds from new graduates to seasoned professionals who can lead technical efforts.