Innovation Engineer - Office of the Vice President for Research
Carnegie Mellon University
About this role
Carnegie Mellon University is seeking Innovation Engineers and Senior Innovation Engineers to join the Institute for Computer-Aided Reasoning in Mathematics (ICARM). These roles involve developing resources to support mathematicians in adopting new reasoning technologies and collaborating on formal mathematics tools. The position emphasizes cross-disciplinary interaction and aims to empower the use of emerging technologies in mathematical research.
Skills
Qualifications
About Carnegie Mellon University
cmu.eduCMU is a global research university known for its world-class, interdisciplinary programs: arts, business, computing, engineering, humanities, policy and science.
Recent company news
Carnegie Mellon UniversityCMU’s Robotics Innovation Center Secures FieldAI as Inaugural Corporate Tenant
2 weeks ago
Poets&Quants for Undergrads2025 Most Disruptive Business School Startups: Basics, Carnegie Mellon University (Tepper)
Jan 4, 2026
Pittsburgh Post-GazetteInside of Carnegie Mellon University’s new robotics center, where machines jump, swim and fly
1 week ago
The TartanEdBoard: Carnegie Mellon University wants you to be employed at the cost of our lives
2 weeks ago
PR NewswireThe Advanced Leadership Institute and Carnegie Mellon University Continue Advancing the Future of Business with the Launch the 2026 National Executive Leadership Academy
3 weeks ago
About Carnegie Mellon University
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for Carnegie Mellon University.
Salary
$36k – $50k
per year
More jobs at Carnegie Mellon University
Assistant Director of Student Accounts - Enrollment Management
Carnegie Mellon University
Early Childhood Educator - Cyert Center for Early Education
Carnegie Mellon University
Data Analyst - Enrollment Management
Carnegie Mellon University
Research Assistant - Robotics Institute
Carnegie Mellon University
Similar Jobs
Mathematical Formalization Specialist - Remote
Alignerr
Mathematical Formalization Specialist - Remote
Alignerr
Mathematical Formalization Specialist - Remote
Alignerr
Mathematical Formalization Specialist - Remote
Alignerr
Mathematical Formalization Specialist - Remote
Alignerr
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Alignerr