1,798,321open jobs
103,696companies
269,923added this week
Browse all
Salary
≈ $96k – $182k per year (Estimated)
Location
In office (London)
Seniority
Senior · 5+ years exp
Visa
Licensed UK visa sponsor
Employment
Full-Time

Confirmed on the employer's own hiring board on Oct 17, 2026. First seen by Alion on May 1, 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 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 infrastructure 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 infrastructure

  • 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.

  • 5+ years of relevant industry experience

  • 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,798,321 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
London
$215k – $374k per year • In office • Full-Time • 7+ years exp • London
Python
TypeScript
SQL
Databases
Apache Kafka
AI/ML
Spark
Flink
OpenAI
Apply
≈ $80k – $157k per year (Estimated) • Hybrid • Full-Time • 12+ years exp • Bachelor's Degree • London
Python
JavaScript
Java
SQL
Java
Spring Boot
Databases
MS SQL
DevOps
CI/CD
Git
Docker
Kubernetes
Management
Confluence
Agile
Apply
≈ $88k – $174k per year (Estimated) • Hybrid • Full-Time • 5+ years exp • Clapham
JavaScript
C#
C#
.NET
Frontend
Next.js
React.js
DevOps
Terraform
Azure DevOps
Pulumi
Azure
CI/CD
Docker
Kubernetes
Cybersecurity
GDPR
Apply
≈ $72k – $212k per year (Estimated) • In office • 7+ years exp • Tel Aviv
Python
JavaScript
TypeScript
Node JS
AI/ML
AI Agents
LLM
Apply
In office • Internship • Shanghai
C++
Apply
$76k – $164k per year • Hybrid • Full-Time • 2+ years exp • Master's Degree • Chicago
Python
Java
SQL
C#
C++
Databases
MS SQL
Analytics
Looker
Apply
$73k – $90k per year • Hybrid • Full-Time • 6+ years exp • Paris
Python
SQL
AI/ML
RLHF
Reinforcement Learning
AI Agents
SFT
Robotics
Digital Twin
Management
Slack
Jira
Apply
Engineering Intern 4 days ago
≈ $33k – $51k per year (Estimated) • In office • Internship • Bachelor's Degree • Belfast
Python
Java
SQL
Databases
MySQL
Cassandra
ElasticSearch
Google BigQuery
BigQuery
AI/ML
Cursor
Claude
Spark
DevOps
gRPC
GCP
Docker
Kubernetes
Linux
Apply
$100k – $140k per year • Equity • In office • Full-Time • 6+ years exp • San Francisco
AI/ML
Reinforcement Learning
AI Agents
Robotics
Digital Twin
Management
Slack
Jira
Apply
$51k – $62k per year • Hybrid • Full-Time • 1+ year exp • Paris
AI/ML
Reinforcement Learning
FastAI
AI Agents
Robotics
Digital Twin
Management
Slack
Notion
Jira
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
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
≈ $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
Equity • Hybrid • Full-Time • 5+ years exp • London
AI/ML
Machine Learning
Apply
Account Executive 1 day ago
In office • Contractor • London
Apply
≈ $51k – $104k per year (Estimated) • In office • Full-Time • Master's Degree • London • New York • Zurich
Python
C++
Apply
≈ $44k – $71k per year (Estimated) • In office • 2+ years exp • London
Apply
≈ $36k – $54k per year (Estimated) • In office • 2+ years exp • London
Apply
See all jobs
This is one of many
1,798,321 more open roles from verified company boards, updated every day.