1,787,266open jobs
103,812companies
266,330added this week
Browse all
Salary
$175k – $300k per year
Location
In office (Palo Alto)
Seniority
Senior · 5+ years exp
Employment
Full-Time

Confirmed on the employer's own hiring board on Oct 16, 2026. First seen by Alion on Aug 3, 2026. Harmonic scores B on the Alion truth index.

Overview
Company
Impact
Profile match
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.

About Harmonic

At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean 4 and reinforcement learning to verify its reasoning and results.

Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the successful resolution of long-standing open problems, we are proving that AI can master the most rigorous domains of human thought. Backed by some of the world’s most prominent investors, we are intentionally scaling an elite technical team.

Visit ourcompany blogto learn more about what we are working on!

About the Role

We are seeking a talented Software Engineer to drive both the product architecture and core product infrastructure of Harmonic’s flagship product. In this role, you will be building robust backend services and delivering polished, performant user interfaces. We are looking for a driven self-starter who wants to own systems from inception, with a proven track record of architecting applications from the ground up, building scalable services, and delivering high-performance, reliable systems.

Key Responsibilities

  • Own the end-to-end product development, collaborating with our Head of Product and designer while maintaining high-performance backend infrastructure

  • Architect and optimize full-stack components to efficiently process and render complex, interactive data streams

  • Design, implement, and maintain scalable APIs and data flow architectures

  • Partner closely with design, research, and leadership to translate complex technical capabilities into functional, intuitive, and feature-rich user interactions

  • Manage and scale backend systems and cloud infrastructure to ensure reliability and observability

  • Architect and maintain the technical infrastructure supporting our core platform integrations and public-facing web systems

Minimum Qualifications

  • BS in Computer Science, Engineering, a related field, or equivalent industry experience

  • 5+ years of hands-on relevant industry experience building production applications at scale

  • Proficiency with TypeScript, React, or similar modern web technologies, alongside strong proficiency in Python for backend logic and data pipelines

  • Deep experience designing distributed systems, RESTful/GraphQL APIs, and integrating frontend components with backend services

  • Experience collaborating with design, product, research, and infrastructure teams to ship user-facing products from concept to launch

  • Proven experience authoring clean, performant code for scalable backend architectures

  • Experience with modern software development practices including coding standards, code reviews, source control management, build and deployment processes, and testing

  • Experience with experimentation and iterative development process

  • Proven work ethic, self-motivation, and a passion for building impactful products

  • Proven track record operating successfully in a fast-paced, collaborative environment

Preferred Qualifications

  • Prior experience building high-throughput messaging pipelines or real-time data systems

  • Experience with building complex web user applications

  • Demonstrated product sense in partnerships with design, product, research, and infrastructure engineers

  • Experience as a founder or early engineer building a product from scratch from ideation to launch

What We Offer

  • Unlimited PTO

  • 401(k) matching

  • 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.

  • Health Savings Account (HSA) available for qualifying health plans

Equal Opportunity Statement

Harmonic is committed to diversity and inclusivity in the workplace. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.

Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
1,787,266 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

Backend
Similar stack
Same company
Palo Alto
≈ $62k – $123k per year (Estimated) • Hybrid • 3+ years exp • Draper
Python
JavaScript
TypeScript
Python
Flask
FastAPI
Databases
Redis
AI/ML
Machine Learning
Frontend
Vue.js
Angular
React.js
Web Components
DevOps
AWS
Management
Agile
Apply
$120k – $140k per year • Equity • Hybrid • Full-Time • Richmond
Python
Java
DevOps
CI/CD
AWS
Apply
≈ $137k – $239k per year (Estimated) • Remote (United States) • Full-Time • Seattle • San Francisco • New York
Go
JavaScript
TypeScript
SQL
AI/ML
Gemini
OpenAI
Frontend
React.js
DevOps
GCP
AWS
Cybersecurity
HIPAA
Apply
$145k – $180k per year • Hybrid • Full-Time • 3+ years exp • Seattle
Python
JavaScript
Java
Rust
TypeScript
SQL
Node JS
Rust
Tauri
AI/ML
Copilot
AI Agents
Frontend
React.js
Material UI
DevOps
CI/CD
AWS
Robotics
Digital Twin
Design
Figma
Management
Slack
Microsoft Teams
Agile
Apply
≈ $162k – $296k per year (Estimated) • Hybrid • Full-Time • 5+ years exp • Bachelor's Degree • Austin
Java
Java
Spring Boot
Apache Camel
Databases
PostgreSQL
Redis
DynamoDB
Apache Kafka
DevOps
CI/CD
AWS
Management
Agile
Scrum
Apply
Sr. IT Auditor 13 days ago
≈ $77k – $146k per year (Estimated) • In office • 3+ years exp • Bachelor's Degree • Morrisville
Python
SQL
Analytics
Power BI
Apply
≈ $62k – $137k per year (Estimated) • In office • Farnborough
Python
Bash
AI/ML
InfiniBand
DevOps
Ansible
Red Hat
SLURM
GitOps
CentOS Stream
GitLab
HPC
Linux
Unix
Apply
≈ $52k – $94k per year (Estimated) • In office • 5+ years exp • Singapore
Python
Bash
DevOps
Red Hat
VMWare
Debian
Azure
AWS
Docker
Kubernetes
Ubuntu
KVM
CentOS Stream
IAM
Linux
TCP/IP
Cybersecurity
CIS Benchmarks
Apply
≈ $108k – $209k per year (Estimated) • In office • Bachelor's Degree • Morrisville
Python
SQL
AI/ML
Copilot
Claude
ChatGPT
Machine Learning
Analytics
Tableau
Power BI
Apply
≈ $47k – $87k per year (Estimated) • In office • 5+ years exp • Bachelor's Degree • Singapore
Python
SQL
Analytics
Power BI
Apply
Software Engineer 2 years ago
$175k – $350k per year • In office • Full-Time • 2+ years exp • Bachelor's Degree • Palo Alto
Python
C++
AI/ML
Reinforcement Learning
DevOps
GCP
Azure
AWS
Kubernetes
Apply
≈ $96k – $182k per year (Estimated) • In office • Full-Time • 5+ years exp • Bachelor's Degree • London
Python
C++
AI/ML
Reinforcement Learning
DevOps
GCP
Azure
AWS
Kubernetes
Apply
≈ $164k – $360k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Palo Alto • London
Python
AI/ML
Reinforcement Learning
Apply
≈ $127k – $288k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Palo Alto • London
Python
C++
MATLAB
AI/ML
Reinforcement Learning
Apply
≈ $121k – $267k per year (Estimated) • In office • Full-Time • 2+ years exp • Bachelor's Degree • Palo Alto
Python
Cython
Cython
Bottleneck
AI/ML
Reinforcement Learning
Kubeflow
Metaflow
DevOps
GCP
Azure
CI/CD
AWS
Docker
Kubernetes
Analytics
ETL/ELT
Apply
$66k – $102k per year • In office • Internship • Bachelor's Degree • Palo Alto
Python
JavaScript
Kotlin
TypeScript
Ruby
Apply
$165k – $224k per year • Equity • In office • Full-Time • 1+ year exp • Bachelor's Degree • Palo Alto
Java
C#
C++
Perl
Apply
$145k – $275k per year • In office • Full-Time • 4+ years exp • Bachelor's Degree • Palo Alto
Python
Rust
C++
Mojo
C++
PyTorch C++
AI/ML
LangChain
vLLM
Fine-tuning
AI Agents
Ollama
Transformers
PyTorch
LLM
Hugging Face
LiteRT
Apache TVM
Multi-Agent Systems
Apply
Hybrid • Internship • Bachelor's Degree • Palo Alto
Python
Java
SQL
DevOps
Rest API
Git
AWS
GitHub
Apply
$111k – $153k per year • In office • Full-Time • 3+ years exp • Bachelor's Degree • Palo Alto
Cybersecurity
GDPR
Apply
See all jobs
This is one of many
1,787,266 more open roles from verified company boards, updated every day.