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 ...
15 Harmonic Jobs Hiring Near You
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 ...
Research Engineer, Technical Lead
$120K - $158K/yr
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 ...
Research Engineer, Technical Lead
$120K - $158K/yr
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 ...
Senior Software Engineer (iOS)
New York, NY · On-site
$153K/yr
About Flow Flow is Harmonic's next generation AI-native workflow tool; the central operating hub for venture capital, collapsing multiple traditional software categories into one platform for ...
Senior Software Engineer (iOS)
New York, NY · On-site
$153K/yr
About Flow Flow is Harmonic's next generation AI-native workflow tool; the central operating hub for venture capital, collapsing multiple traditional software categories into one platform for ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Senior Software Engineer (Full-Stack)
New York, NY · On-site
$180K - $220K/yr
We build the intelligence layer behind Harmonic. Our system transforms hundreds of fragmented, unstructured sources - from APIs, raw HTML, legal filings, and more into structured knowledge about ...
Senior Software Engineer (Full-Stack)
New York, NY · On-site
$180K - $220K/yr
We build the intelligence layer behind Harmonic. Our system transforms hundreds of fragmented, unstructured sources - from APIs, raw HTML, legal filings, and more into structured knowledge about ...
Research Engineer, Technical Lead
Palo Alto, CA · On-site
$120K - $158K/yr
Harmonic is a startup building the world's most advanced mathematical reasoning engine, recently achieving Gold Medal-level performance on the 2025 International Math Olympiad. They are seeking a ...
Research Engineer, Technical Lead
Palo Alto, CA · On-site
$120K - $158K/yr
Harmonic is a startup building the world's most advanced mathematical reasoning engine, recently achieving Gold Medal-level performance on the 2025 International Math Olympiad. They are seeking a ...
Research Engineer
Palo Alto, CA · On-site
Harmonic is building a mathematical reasoning engine that operates with precision, utilizing reinforcement learning to enhance theorem proving. They are seeking a highly motivated Research Engineer ...
Research Engineer
Palo Alto, CA · On-site
Harmonic is building a mathematical reasoning engine that operates with precision, utilizing reinforcement learning to enhance theorem proving. They are seeking a highly motivated Research Engineer ...
Interested in joining Harmonic but don't see a role that is quite the right fit for you. Let us know. As our team grows and our needs evolve we will proactively keep you in mind as opportunities ...
Interested in joining Harmonic but don't see a role that is quite the right fit for you. Let us know. As our team grows and our needs evolve we will proactively keep you in mind as opportunities ...
Software Engineer
Palo Alto, CA · On-site
Harmonic is building a mathematical reasoning engine that operates with absolute precision. They are seeking a talented Software Engineer to bridge the gap between AI research and product development ...
Software Engineer
Palo Alto, CA · On-site
Harmonic is building a mathematical reasoning engine that operates with absolute precision. They are seeking a talented Software Engineer to bridge the gap between AI research and product development ...
Staff Software Engineer (Frontend), Infra
New York, NY · On-site
$280K/yr
About Infrastructure Infrastructure powers Harmonic's ability to process millions of startup signals in real-time. While Flow builds workflows and Discovery surfaces insights, Infrastructure makes it ...
Staff Software Engineer (Frontend), Infra
New York, NY · On-site
$280K/yr
About Infrastructure Infrastructure powers Harmonic's ability to process millions of startup signals in real-time. While Flow builds workflows and Discovery surfaces insights, Infrastructure makes it ...
Staff Software Engineer
New York, NY · On-site
$280K/yr
About Discovery & Scout The Discovery team sits at the core of Harmonic's product and data engine. We make it possible to search, research, analyze, compare, and evaluate across the entire universe ...
Staff Software Engineer
New York, NY · On-site
$280K/yr
About Discovery & Scout The Discovery team sits at the core of Harmonic's product and data engine. We make it possible to search, research, analyze, compare, and evaluate across the entire universe ...
Software Engineer II - DevOps
Toronto, ON · On-site
Job Summary: The Software Engineer II - DevOps is responsible to for building and maintaining continuous integration (CI) and continuous deployment (CD) processes to ensure software systems are built ...
Software Engineer II - DevOps
Toronto, ON · On-site
Job Summary: The Software Engineer II - DevOps is responsible to for building and maintaining continuous integration (CI) and continuous deployment (CD) processes to ensure software systems are built ...
Harmonic Jobs Information
What are the most popular cities for Harmonic jobs?
What are the most popular states for Harmonic jobs?
What are the most popular job types at Harmonic?
Full-time
Medical, Dental, Vision, Retirement, PTO
Re-posted 10 days ago
Job description
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 our company blog to learn more about what we are working on!
We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. This position will be focused on advancing mathematical theorem proving using cutting-edge RL techniques. The successful candidate will play a key role in developing new algorithms and models that integrate RL with formal methods to solve complex problems in theorem proving and beyond.
Key ResponsibilitiesConduct high-quality research in the intersection of RL and formal methods, with a focus on mathematical theorem proving.
Develop and implement novel RL algorithms and models for theorem proving.
Collaborate with a multidisciplinary team to integrate RL techniques with formal methods.
Stay abreast of the latest developments in RL, formal methods, and related fields.
BS or MS in Computer Science, Mathematics a related technical field, or equivalent industry experience
Strong programming skills in Python, with experience in software development and testing.
Experience in deep learning frameworks such as PyTorch
Strong understanding of mathematical concepts, including algebra, geometry, and analysis.
PhD in Computer Science, Mathematics, or a related field.
Experience in applying AI to solve practical problems in formal methods.
Proven track record of high-quality research demonstrated by publications, patents, or software contributions.
Contributions to open-source projects or development of software tools in the field.
Strong background in RL, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing).
Proficiency in formal methods, including experience with theorem proving systems.
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
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.