Formal methods
Proof & formal mathematics
Lean / mathlib, theorem proving, and the discipline of turning a scientific claim into a machine-checked one. You think in definitions and invariants.
Careers
We're building the science of health from first principles — formal mathematics proven into the observable physics, and instruments that read it. If that's your kind of problem, we'd like to meet you.
How we work
Foundational work rewards a few people who go very deep, talking to each other constantly, over a large team that can't.
We keep the team small and senior, the standards high, and the feedback loop short. Everyone here works across the seam between disciplines — math that has to run on a phone, signal processing that has to survive a clinic, science that has to stay honest. We prize rigor, taste, and the humility to say what we don't yet know.
Math that has to run on a phone. Science that has to stay honest.
Where we go deep
We're always interested in exceptional people in these areas — whether or not a role is posted.
Formal methods
Lean / mathlib, theorem proving, and the discipline of turning a scientific claim into a machine-checked one. You think in definitions and invariants.
Physics
Field theory, gauge and boundary structure, and the observable physics the definition proves into. You move fluently between the formal object and the physical one — mathematical, observational, and theoretical — and keep both honest.
Signals & imaging
Lock-in demodulation, phase-coherence estimation, and physical measurement that has to hold up outside a lab. Optics, RF, or quantum sensing a plus.
Product engineering
Swift, on-device computation, and real-time pipelines. You care about correctness and latency in equal measure, on hardware people actually own.
Clinical & research
Human physiology, study design, and the judgment to keep our claims honest. You help us stay firmly on the measurement side of the line.
How to apply
We hire for exceptional fit more often than for a fixed slot. Send us who you are, what you've built, and the problem you'd want to own — a link to real work says more than a résumé.