1,775,708open jobs
103,566companies
265,446added this week
Browse all
Salary
$175k – $350k per year
Location
In office (Palo Alto)
Seniority
Junior · 2+ years exp
Employment
Full-Time

Confirmed on the employer's own hiring board on Oct 16, 2026. First seen by Alion on Aug 28, 2024. 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 Lean4 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 build systems from scratch, bridging the gap between our research and product development. In this role, you will develop robust, scalable software systems behind our product based on the discoveries and advancements in AI from our researchers. We are looking for a problem-solver that has experience working on complex, distributed systems and are passionate about advancements in AI and software development.

Key Responsibilities

  • Collaborate with AI research scientists to translate state-of-the-art research into practical, scalable software

  • Participate in the entire software development lifecycle including: requirement analysis, design, coding, testing, reviewing, deployment, and support

  • Ensure the scalability, efficiency, and reliability of software systems through the entire development lifecycle

  • Write clean, efficient, and well-documented code

  • Work cross-functionally with product managers, designers, and other engineering teams to deliver high-quality product

Minimum Qualifications

  • BS in Computer Science, Engineering, or a related field

  • 2+ years of relevant industry experience

  • Proficiency in one or more programming languages (e.g., Python, C++, etc)

  • Experience building, scaling, and maintaining large-scale distributed systems

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

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

Preferred Qualifications

  • MS or PhD degree in Computer Science, Engineering, or a related field.

  • Prior experience in developing products from concept to launch

  • Experience with building core cloud technologies including: infrastructure, security, platforms and services (e.g., AWS, Azure, GCP, Kubernetes, etc)

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,775,708 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
In office • Internship • Bachelor's Degree • Austin
JavaScript
SQL
AI/ML
LLM
DevOps
Rest API
Git
Apply
≈ $81k – $165k per year (Estimated) • Hybrid • 1+ year exp • Master's Degree • Boston
Python
SQL
AI/ML
Pandas
DevOps
Rest API
Splunk
Datadog
AWS
AWS Lambda
Amazon EC2
Amazon S3
Amazon ECS
Amazon CloudWatch
Analytics
ETL/ELT
Management
Agile
Scrum
Apply
$104k per year • Equity • In office • 2+ years exp • New York
JavaScript
TypeScript
SQL
Ruby
Ruby
Ruby on Rails
Sidekiq
Databases
Snowflake
ClickHouse
AI/ML
AI Agents
Frontend
React.js
Apply
$104k per year • Equity • In office • 2+ years exp • Austin • New York
JavaScript
TypeScript
SQL
Ruby
Ruby
Ruby on Rails
Sidekiq
Databases
Snowflake
ClickHouse
AI/ML
AI Agents
Frontend
React.js
Apply
$104k per year • Equity • In office • 2+ years exp • Chicago • New York
JavaScript
TypeScript
SQL
Ruby
Ruby
Ruby on Rails
Sidekiq
Databases
Snowflake
ClickHouse
AI/ML
AI Agents
Frontend
React.js
Apply
≈ $11k – $27k per year (Estimated) • In office • Full-Time • 1+ year exp • Bachelor's Degree • Philippines
Python
C++
Apply
Hybrid • Internship • Brno
Python
JavaScript
C++
DevOps
Red Hat
Podman
Fedora
CI/CD
Git
Docker
Kubernetes
CentOS Stream
Linux
Apply
$112k – $161k per year • In office • 6+ years exp • Chicago
Python
Java
SQL
C#
Databases
MS SQL
AI/ML
Spark
DevOps
Rest API
Azure
AWS
Analytics
Tableau
ETL/ELT
SSIS
Apply
$166k – $220k per year • In office • 10+ years exp • Houston
Python
SQL
Python
pySpark
Databases
Databricks
Delta Lake
Apache Kafka
AI/ML
Spark
Airflow
DevOps
Terraform
GCP
Azure DevOps
GitHub Actions
Azure
CI/CD
AWS
Analytics
Power BI
Azure Data Factory
Master Data Management
Collibra
Alation
Management
Agile
Apply
≈ $80k – $147k per year (Estimated) • In office • 3+ years exp • Bachelor's Degree • Rochester Hills
C#
C++
C#
.NET
DevOps
Podman
CI/CD
Git
Docker
Linux
TCP/IP
VPN
Wi-Fi
Cybersecurity
Wireshark
Management
Agile
Apply
$175k – $300k per year • In office • Full-Time • 5+ years exp • Bachelor's Degree • Palo Alto
Python
JavaScript
TypeScript
AI/ML
Reinforcement Learning
Frontend
GraphQL
React.js
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,775,708 more open roles from verified company boards, updated every day.