You will:
- Work directly with the CEO and Chief of Staff on designing and building Hilbert's foundational system, from axioms up
- Formalize growth concepts using set theory and mathematical logic, and prove what can be proven
- Map what resists formalization, and keep the boundary between the provable and the empirical explicit
- Apply the formal system to active customer use cases, expanding its coverage with every engagement
- Coordinate closely with product, engineering, and data science teams to make the formal system usable in the product
- Become the go-to expert on Hilbert's logic and foundation system, knowing it inside out
What We Are Looking For- New graduate or entry-level, mathematician; no prior industry experience required
- Undergraduate-level (or deeper) knowledge of set theory, mathematical logic, and mathematical foundations. A background specifically in set theory is preferred
- Eager to learn, genuinely passionate about mathematics and foundational problems
- High energy and open-minded toward business questions
- Ready to rethink how businesses approach growth problems at the most fundamental level
- Ability to write clean, precise mathematical exposition
What You Will Get- A rare position: doing foundational mathematics inside a fast-moving AI company, with real datasets, real customers, and real stakes
- Direct daily exposure to the CEO and leadership
- A founding seat on a new internal team, with room to shape its direction
- Competitive compensation and equity
How to ApplySend your resume along with a short note about the mathematical work you are most proud of: a thesis, a proof, a problem you could not let go of. We read every application.