Harmonic
Research Engineer
Palo Alto$200k–$450kfulltimemidAdded today
About this role
Harmonic seeks a Research Engineer to advance mathematical theorem proving by developing reinforcement learning algorithms integrated with formal methods. You'll work on cutting-edge AI systems that achieve rigorous, verifiable reasoning rather than probabilistic approximations.
What you'll do
- Conduct research at the intersection of reinforcement learning and formal methods for theorem proving
- Develop and implement novel RL algorithms and models for mathematical reasoning
- Collaborate with multidisciplinary teams to integrate RL with formal verification systems
- Stay current with advances in RL, formal methods, and related research areas
- Contribute to advancing the company's mathematical reasoning engine capabilities
What they're looking for
- Python programming and software development
- Deep learning frameworks (PyTorch)
- Reinforcement learning techniques
- Formal methods and theorem proving systems
- Strong mathematical foundation (algebra, geometry, analysis)
- Machine learning and natural language processing
- Research methodology and experimental design
Benefits
- Unlimited PTO
- 401(k) matching
- 100% employer-paid health, vision, and dental for employees; 50% for dependents
- Health Savings Account (HSA) available
- Work on groundbreaking AI research with elite technical team
- Backed by prominent investors
Opens the official application on the employer’s site. No login required.