Harmonic · 9 hours ago
Research Engineer
Palo Alto, CA
Full-time
Onsite
Mid Level
$200K/yr - $325K/yrHarmonic 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 highly motivated and skilled Research Engineer to join their Reinforcement Learning & Formal Methods team to advance mathematical theorem proving using cutting-edge RL techniques.
Artificial Intelligence (AI)EdTechSoftware
Responsibilities
Conduct 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
Qualification
Required
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
Preferred
PhD in Computer Science, Mathematics, or a related field
Strong background in RL, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing)
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
Proficiency in formal methods, including experience with theorem proving systems
Benefits
Unlimited PTO
401(k) matching
100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents.
Health Savings Account (HSA) available for qualifying health plans
Company
Harmonic
Harmonic is an artificial intelligence lab that develops mathematical reasoning engine designed to tackle complex mathematical problems.
Founded in 2023
11-50 employees
H1B Sponsorship
Harmonic has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (2)
2024 (3)
2023 (3)
2022 (3)
2021 (4)
2020 (5)
Funding
Current Stage
Growth StageTotal Funding
$295MKey Investors
Ribbit CapitalKleiner PerkinsSequoia Capital
2025-11-25Series C· $120M
2025-07-09Series B· $100M
2024-09-23Series A· $75M
Leadership Team
Tudor Achim
Cofounder & CEO
Recent News
2025-12-12
Fierce Network
2025-12-11
Crunchbase News
2025-12-10
Company data provided by crunchbase