ashby
Research Engineer
Harmonic
Palo Alto, USA
Full-time
Mid
Onsite
USD 200000-300000 yearly / year
Discovered 1 weeks ago
PythonPyTorchReinforcement LearningMachine Learning
Free
Job Fit Check
Base Career helps you apply smarter for this job.
?%
Ready to ScanKey skills for this role
PythonPyTorchReinforcement Learning
Key Skills for This Role
PythonPyTorchReinforcement LearningMachine Learning
Full Job Posting
About Us
Harmonic is a startup building the world’s most advanced mathematical reasoning engine, recently achieving Gold Medal-level performance on the 2025 International Math Olympiad (IMO). Backed by some of the world's most prominent investors, we are intentionally scaling our elite technical team.
We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. This position will be focused on advancing mathematical theorem proving using cutting-edge RL techniques. The successful candidate will play a key role in developing new algorithms and models that integrate RL with formal methods to solve complex problems in theorem proving and beyond.
Key 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.
Minimum Qualifications
- 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 Qualifications
- PhD in Computer Science, Mathematics, or a related field.
Apply for this job in 1 click
Skip the repetitive application forms
Install the Base Career Chrome Extension and autofill job applications across major job boards with your profile.
Trusted by over 500,000 job seekers on Base Career
More from this employer
More jobs at Harmonic
Growth Analyst
New York City, USA
Discovered 3 days agoFull-time
Software Engineer
Palo Alto, USA
Discovered 1 weeks agoFull-time
Research Engineer, Technical Lead
Palo Alto, USA
Discovered 1 weeks agoFull-time
General Opportunity
Palo Alto, USA
Discovered 1 weeks agoFull-time
Machine Learning Engineer
Palo Alto, USA
Discovered 1 weeks agoFull-time
Research Engineer, Training & Inference
Palo Alto, USA
Discovered 1 weeks agoFull-time
Software Engineer, Product
Palo Alto, USA
Discovered 1 weeks agoFull-time
Senior Software Engineer - iOS
New York City, USA
Discovered 1 weeks agoFull-time