Research Engineer
Harmonic · Palo Alto
Frontier labonsite$200k–$450k
At a glance
Highlights
- Build verification engine that catches edge cases before code ships.
- Advance verifiable reasoning using formal methods and reinforcement learning.
- Develop novel algorithms and models for mathematical theorem proving.
What they offer
- 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
Ideal candidate
Highly motivated researcher excited by rigorous reasoning at the intersection of RL and formal methods, eager to advance verifiable AI with an elite technical team.
Requirements
- BS or MS in Computer Science, Mathematics or 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
Lab profile
About Harmonic
Building Aristotle, a mathematical reasoning engine with Lean 4 verification for absolute precision.
What they build
- Aristotle
Known for
- Lean 4 verified reasoning
- Reinforcement learning for reasoning
- Gold Medal-level 2025 IMO performance
- Resolution of long-standing open problems
Posted · Last seen