Skip to content
HilbertHilbertSan Francisco, CA

Mathematician, Foundation Team

Entry-level mathematician on the Foundation Team formalizing growth concepts with set theory, axioms, and proofs for an AI-native growth intelligence platform. Applies formal systems to customer use cases while mapping empirical boundaries; works directly with CEO.

Salary not listed
HybridEntry levelOther

About the role

Responsibilities

  • 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.

Requirements

  • 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.

Skills

set theorymathematical logicmathematical foundationsproof theorymathematical exposition

Similar roles

Thinking Machines Lab

Operations Analyst, Safety

Thinking Machines LabSan Francisco, CA

Operations Analyst responsible for daily review of flagged content and safety escalations in AI products, while building policy, tooling, and automation to improve moderation efficiency and embed safety into product design. Requires 2+ years in trust & safety or content moderation with direct queue ownership and experience using AI tools for operations.

190k – 300k/yr
On-site2+ YOEOther
Navan

Change Manager

NavanUnited States

The Change Manager engages internal Global Operations & Service colleagues at Navan to adopt changes from product, project, or organizational initiatives. They develop bespoke change plans, communications, and strategies to drive high engagement, adoption, and a culture of change resiliency while minimizing disruption.

Salary not listed
On-site2+ YOEOther
Instacart

BGC Compliance Specialist

InstacartUnited States

BGC Compliance Specialist adjudicating background checks, resolving escalations, and identifying onboarding issues to maintain Instacart platform security, safety, compliance with regulations, and operational scalability. Requires 1-2 years experience in related fields, strong communication, confidentiality, and weekend/holiday availability.

23 – 29/hr
Remote1+ YOEOther
Cribl

Business Systems Analyst, Enterprise Applications

CriblUnited States

Build, configure, and maintain Salesforce and GTM systems at Cribl. Focus on declarative automation, integrations, data quality, UAT, and deploying agentic AI solutions to support Sales, Support, and CX teams. Requires 1-2+ years hands-on Salesforce experience and a builder mindset.

79k – 124k/yr
Remote1+ YOEOther
NODA AI

Field Operations Specialist

NODA AIAustin, TX

Field Operations Specialist supporting deployment of autonomous unmanned systems (UAS/robotics) through hands-on assembly, integration, troubleshooting, logistics coordination, and supervision of junior staff. Requires 2+ years technical experience, FAA Part 107 certification, ability to travel up to 50%, and customer-facing skills.

Salary not listed
Hybrid2+ YOEOther