Innovation Engineer - Office of the Vice President for Research
Core
Technical staff building, adapting, and applying AI tools to solve concrete problems in mathematical research at a new NSF institute.
Role type
Innovation Engineer (technical staff supporting mathematical reasoning)
Builds
Tools for formal mathematics, software, datasets, and educational resources for the mathematical community
Domain
Mathematics + AI/Computer Science (formal verification, automated reasoning, ML for math)
Deliverable
production ML models | product features
Required skills
Systems programming and administration, software engineering, collaborative development, translating mathematical goals to technical solutions
Preferred skills
Proof assistants (Lean, Coq, Isabelle), automated reasoning (SAT/SMT solvers), machine learning for mathematics, open-source contributions
Technologies
Lean, Coq, Isabelle, SAT/SMT solvers, first-order theorem provers
Responsibilities
Develop documentation and training materials, provide technical support and mentorship to mathematicians, maintain and curate software and datasets, collaborate on tool design and implementation, foster interdisciplinary connections
Seniority
Entry to Mid-level (1-3 years experience for Engineer; 3+ years for Senior)