Harmonic AI
Research Engineer
$200K–$450K
Palo Alto · On-site · Full-time · Posted Jul 10, 2025
- Education
- BS or MS in Computer Science, Mathematics, a related technical field, or equivalent industry experience; PhD preferred.
About the job
Develop algorithms, models, and reinforcement learning techniques for verifiable reasoning and mathematical theorem proving.
What you'll do
- Research the intersection of reinforcement learning and formal methods, focusing on mathematical theorem proving.
- Develop and implement novel reinforcement learning algorithms and models for theorem proving.
- Collaborate with a multidisciplinary team to integrate reinforcement learning with formal methods and stay current with research developments.
What they ask for
- BS or MS in Computer Science, Mathematics, a related technical field, or equivalent industry experience.
- Strong Python programming skills and experience in software development and testing.
- Experience with deep learning frameworks such as PyTorch.
- Strong understanding of algebra, geometry, and analysis.
Nice to have
- PhD in Computer Science, Mathematics, or a related field.
- Experience applying AI to formal methods; research contributions; open-source or software-tool contributions; or relevant background in reinforcement learning or theorem-proving systems.
Pay
$200K – $450K USD (base salary)
Tools
Python, PyTorch, C, Verilog
AI focus
Develop reinforcement learning algorithms and models for mathematical theorem proving, integrating RL with formal methods to advance verifiable reasoning.
Model-written summary · the original posting is authoritative