Research Engineer, Reinforcement Learning

Harmonic is a startup building the world's most advanced mathematical reasoning engine. We are seeking a Research Engineer to join our Reinforcement Learning & Formal Methods team to lead advancements in mathematical theorem proving using cutting-edge RL techniques.

Requirements

• BS in Computer Science, Mathematics, or related 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

Benefits

• Collaborative team environment
• Opportunity to work on cutting-edge research in RL and formal methods
• Competitive salary and benefits