Harmonic · 1 week ago
Research Engineer, Technical Lead
Palo Alto, CA
Full-time
Onsite
Senior LevelHarmonic 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 experienced Research Engineer, Technical Lead to lead advancements in mathematical theorem proving using cutting-edge RL techniques and drive execution against research priorities.
Artificial Intelligence (AI)EdTechFoundational AISoftware
Responsibilities
Lead and 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 in Computer Science, Mathematics a related technical field, or equivalent industry experience
Demonstrated track record in developing novel, and impactful reinforcement learning systems
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
MS or PhD in Computer Science, Mathematics, or a related field
Experience in applying RL 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
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
2026-01-16
2026-01-11
2026-01-11
Company data provided by crunchbase