Hilbert's AI
Mathematician, Foundation Team
San Francisco
Sponsorship not specifiedDetected 15 days ago
Data ScienceLeadership
About the role
- WHY "HILBERT" The company takes its name from Hilbert's program.
- A century ago, mathematics went through its foundational crisis: paradoxes in set theory had undermined confidence in the ground the discipline stood on.
- David Hilbert's response was to rebuild it on explicit axioms and formal proof, so every claim could be traced back to its foundations.
Requirements
- no prior industry experience required
- Ability to write clean, precise mathematical exposition
Nice to have
- Undergraduate-level (or deeper) knowledge of set theory, mathematical logic, and mathematical foundations.
- A background specifically in set theory is preferred
Compensation
- Competitive compensation and equity
Benefits
- Competitive compensation and equity
- Apply the formal system to active customer use cases, expanding its coverage with every engagement
Company info
- WHY "HILBERT"
- The company takes its name from Hilbert's program.
- definitions, axioms, and proofs where proofs exist.
- We expect incompleteness.
- Some true statements about growth will remain unprovable, and that is fine.
- No Gödel is expected to destroy anything here, because completeness was never the claim.
- The claim is that far more of growth can be formalized than anyone has attempted, and that the formal core is worth building.
Apply directly at Hilbert's AI →Create a free account for alerts like thisView Hilbert's AI immigration profile
This listing is sourced directly from Hilbert's AI's careers page and normalized into a canonical job model.