Research Engineer, Harmonic

• We are seeking a highly motivated and experienced Research Engineer to join our Reinforcement Learning & Formal Methods team
• BS in Computer Science, Mathematics a related technical 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
• Experience in deep learning frameworks such as PyTorch
• Strong understanding of mathematical concepts, including algebra, geometry, and analysis

Desirable

• The focus of this position will be on leading advancements in 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
• Lead and 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