Mathematician, Foundation Team
remote
via Ashby
About this 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. Gödel later showed the program's full ambition was out of reach. Any sufficiently rich formal system contains true statements it cannot prove. The program still reshaped mathematics; proof theory, model theory, and modern logic all descend from it.
We think growth is at a similar moment. The field runs on intuition, folklore, and case studies. We are building its foundations: definitions, axioms, and proofs where proofs exist.…
What we'd score you on
reqspace match rubricFive dimensions, recruiter-grade. Upload your resume and we'll generate a written explanation of where you fit and where the gaps are.
1
Skills match
For this role: go, teams
2
Level fit
We check your title trajectory against the seniority signal of the role.
3
Domain experience
Your work in the role's domain matters more than your years total. We weight recent and direct experience.
4
Recency
A skill you used last quarter weighs more than one from five years ago. We grade on recency, not lifetime.
5
Location fit
This role is remote-eligible — we factor in your stated location and time-zone overlap.
Score yourself on this role.
Free · no card · written explanation included
Skills in this role
Pulled from the job description. These are the keywords we'll weight when scoring your fit.
goteams