Harmonic
harmonic.fun
Actively hiring
AI for Science
As featured in
View 8 jobs
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Jobs
Financials
Funding and backers
Total raised
$75M
1 round on record
Latest round
$75M
Series A · Sep 2024 · 2 yr ago
Hiring now
8
open roles
Backers
5
Kleiner Perkins, Elefund
The money's age
Due for its next round
24 months since the last round · hiring slowed
Momentum
15/100
in the news
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Tractionpublic signals, read monthly
Web presence
top 2%
of 133.2M domains by links, Common Crawl
Hacker News stories
5
best: 67 points
Funding rounds
| Round | Date | Amount | Investors | Source |
|---|---|---|---|---|
| Series A | Sep 2024 | $75M | — | SiliconANGLE |
Backed byfrom the funds' portfolios and accelerator catalogs
Kleiner Perkins 
Elefund 
Greatpoint Investment Management, LLC 
Index Ventures 
Sequoia Capital Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Solving the brain emulation problem so that humans can flourish in a world with AI superintelligence.
Algorithmic superintelligence. We build an AI discovery engine that automatically writes algorithms for the most critical optimisation…
CuspAI builds generative models that search for new materials with target properties. Its first applications focus on carbon capture…
Yoneda Labs builds foundation models for chemistry that predict the conditions a synthesis reaction needs. Chemists use it to shorten the…
Potato builds AI-native software that helps scientific teams move from idea to experimentally validated results. Our agents and tools help…
Engineering serendipity Arcadia was founded in 2021 with a long time horizon to rethink the entire research cycle. We see a unique…
How Harmonic hires
Truth index
B 75/100
Ghost roles
0%
Stale roles
100%
Reposted roles
0%
Harmonic scores B on the Alion truth index (A is best, E worst), measured over 5 open roles re-checked against its own hiring board: 0% look like ghost listings, 100% have gone stale and 0% are the same role posted again. It measures how much of what this employer publishes turns into a real, finite search - not the employer as a workplace. How the index is computed
Visa sponsorship
- United Kingdom · Licensed UK visa sponsor (Senior or Specialist Worker, Skilled Worker)
Overview
Harmonic is a research laboratory building mathematical superintelligence with verifiable reasoning at its core. Its Aristotle system generates proofs in the Lean formal language so that every claim it makes can be checked mechanically rather than trusted, an approach aimed directly at eliminating hallucination in reasoning. The company was co-founded by the Robinhood founder Vlad Tenev and reached gold medal level performance on international mathematical olympiad problems; its long term aim is a system whose mathematical output requires no human verification.
News
Report
The Lambdoma Keyboard created by Barbara Hero Lambdoma Music Gift to Humanity
Information and links to software that emulates the Lambdoma healing frequencies keyboard developed by Barbara Hero. All titles must be attritubed to Barbara and Lambdoma.com
Read more
Report
Harmonics Analysis Advanced Harmonic Analysis Software in Roundness Metrology
Taylor Hobson delivers advanced harmonic analysis software for roundness, flatness, and spiral harmonics. Harmonic analysis is vital to the production and design process for bearings.
Read more
Report
HFI - Harmonic Firmware Initiative QSOE Systems
HFI, the Harmonic Firmware Initiative: an open, U-Boot-based firmware experience layer that gives any RISC-V board a real power-on screen, boot menus, and a Set-Up editor. By QSOE Systems.
Read more
Report
Memora scales agent memory to boost long-horizon productivity
AI agents can't remember past conversations. They must constantly reload or retrieve context, which grows less efficient as tasks get longer and more complex. Memora solves this with a scalable memory system separating what's stored from how it's retrieve
Read more
Report
Height of harmonic numbers
Plotting the actual and estimated number of bits in the nth harmonic number.
Read more
Report
Writing down harmonic numbers
The nth harmonic number can be written as a fraction. How would you predict the number of digits in the numerator and denominator as a function of n?
Read more
Report
Show more news
Tech stack
Technologies named in job postings at Harmonic over the last 12 months, by layer, with the share of postings for each.
Technologies in use
31
Postings analysed
6
Stack modernity
71/100AI adopter
Languages
Python
C++
MATLAB
TypeScript
Frameworks & libraries
Bottleneck
CUDA
JAX
NCCL
Cloud & platforms
Kubernetes
AWS
Azure
GCP
AI & ML
LLM
Sign in to see how your skills match this stack
Sign In
Full Harmonic tech stack
31 technologies · by team · pay by technology · changes · similar stacks
Salary insights
Compensation ranges based on this company's open jobs
Median
$400k
Typical range
$300k – $450k
Open positions
4
3
Jobs
Junior
33.3%
Senior
66.7%
| Level | Jobs | Median | Typical range |
|---|---|---|---|
| Junior | 1 | $350k | $350k |
| Senior | 2 | $375k | $300k – $450k |
Highest paying role
Research Engineer
$450k
Normalized to USD per year
Growth
Hiring Momentum
41/100
Stable
Open positions
8
0 opened / 0 closed in 30 days
Median time-to-fill
436 days
faster than 5% of the market
ATS activity
Every ~4 hours
Today
Hiring Dynamics
+100%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
AI/ML
33% ▼
Backend
33% ▼
Hardware
33% ▼
Offices
Where the company hires and what each office is for
Cities
2
Hiring now
2
Countries
2
Busiest office
Palo Alto
Loading the map
Headquarters
Builds here
Office with open vacancies
Tap a pin for the office
Palo Alto
United States
HQ
7 open roles 3 posted in 90 days 100% engineering $388k Avg Salary
hires for AI/ML, Backend, Hardware
London
United Kingdom
Engineering / R&D
3 open roles 2 posted in 90 days 100% engineering
hires for AI/ML, Backend, Hardware
Jobs
≈ $164k – $360k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Palo Alto • London
Python
Reinforcement Learning
Apply
≈ $127k – $288k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Palo Alto • London
Python
C++
MATLAB
Reinforcement Learning
Apply
$175k – $300k per year • In office • Full-Time • 5+ years exp • Bachelor's Degree • Palo Alto
Python
JavaScript
TypeScript
Reinforcement Learning
Frontend
GraphQL
React.js
Apply
≈ $121k – $267k per year (Estimated) • In office • Full-Time • 2+ years exp • Bachelor's Degree • Palo Alto
Python
Cython
Bottleneck
AI/ML
Reinforcement Learning
Kubeflow
Metaflow
DevOps
GCP
Azure
CI/CD
AWS
Docker
Kubernetes
Analytics
ETL/ELT
Apply
$200k – $450k per year • In office • Full-Time • 5+ years exp • Bachelor's Degree • Palo Alto
Python
C++
TensorFlow C++
PyTorch C++
AI/ML
CUDA Toolkit
Reinforcement Learning
JAX
TensorFlow
PyTorch
LLM
CUDA
Triton
FSDP
NCCL
CUTLASS
Apply
≈ $96k – $182k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • London
Python
C++
Reinforcement Learning
DevOps
GCP
Azure
AWS
Kubernetes
Apply
$200k – $450k per year • In office • Full-Time • Bachelor's Degree • Palo Alto
Python
Reinforcement Learning
PyTorch
Machine Learning
Apply
$175k – $350k per year • In office • Full-Time • 2+ years exp • Bachelor's Degree • Palo Alto
Python
C++
Reinforcement Learning
DevOps
GCP
Azure
AWS
Kubernetes
Apply
Financials
Total raised
$75M
Latest round
Series A
Funding rounds
1
Funding rounds
| Round | Announced | Amount | Valuation | |
|---|---|---|---|---|
| Series A | 2024 | $75M | $325M | Details |