Innovation Engineer - Office of the Vice President for Research

The Office of the Vice President for Research at Carnegie Mellon University seeks an Innovation Engineer to join their team. The Innovation Engineer will work alongside mathematicians and researchers to develop and apply tools from AI to solve problems in mathematical research. Responsibilities include developing documentation, providing technical support, and collaborating on tool design and implementation.

Requirements

• Proof assistants and formalization of mathematics
• Automated reasoning for mathematics
• Machine learning for mathematics
• Experience in related areas and a passion for mathematical discovery

Benefits

• Comprehensive medical, prescription, dental, and vision insurance
• Generous retirement savings program with employer contributions
• Tuition benefits
• Paid time off and observed holidays
• Life and accidental death and disability insurance
• Free Pittsburgh Regional Transit bus pass
• Fitness center access