Innovation Engineer - Office of the Vice President for Research
Core
Technical staff who work side-by-side with mathematicians to build, adapt, and apply AI tools to solve concrete problems in mathematical research.
Role type
Innovation Engineer (AI for Mathematics)
Builds
Tools for formal mathematics, software, datasets, and community resources
Domain
Mathematics + Artificial Intelligence
Deliverable
production ML models
Required skills
Systems programming, software engineering, proof assistants (Lean, Coq, Isabelle), automated reasoning, machine learning for mathematics
Preferred skills
Open-source contributions, mathematical research background, advanced degree in CS/Math
Technologies
Lean, Coq, Isabelle, SAT/SMT solvers, first-order theorem provers
Responsibilities
Develop documentation and training materials, provide technical support and mentorship, maintain and curate software and datasets, collaborate on tool design and implementation, foster interdisciplinary connections
Seniority
Junior to Mid-level IC (1-3 years exp) or Senior (3+ years exp beyond degree)
