Innovation Engineer - Office Of The Vice President For Research

Carnegie Mellon University

Pittsburgh, PA, US
Not specified; not specified; comprehensive benefi...
Proof assistants and formalization of mathematics
Automated reasoning for mathematics
Machine learning for mathematics
The role involves developing documentation, tutorials, and training materials to help mathematicians adopt new reasoning technologies

Job Summary

  • The role involves developing documentation, tutorials, and training materials to help mathematicians adopt new reasoning technologies.
  • Candidates will collaborate on the design and implementation of tools for formal mathematics while fostering connections across disciplines.
  • The position offers comprehensive benefits including medical insurance, retirement savings, tuition benefits, and a free transit pass.

Matching Summary

The role involves developing documentation, tutorials, and training materials to help mathematicians adopt new reasoning technologies.

Salary

Not specified; Not specified; Comprehensive benefits package including medical, dental, vision, and retirement contributions

Skills & Requirements

Must-have

  • Proof assistants and formalization of mathematics
  • Automated reasoning for mathematics
  • Machine learning for mathematics
  • Systems programming and administration experience
  • Strong software engineering skills

Nice-to-have

  • Experience contributing to open-source projects
  • Background in mathematical research
  • Adaptability and passion for discovery
  • Ability to work with varied populations

Key Requirements

  • Bachelor's Degree required
  • 1-3 years of systems programming experience
  • Proficiency in at least one relevant technical domain
  • Successful background check

Work Rights

Not specified

Tailored Resume

Cover Letter