Hiring: Research Engineer Company: Harmonic Location: Palo Alto, CA Job Posted Time: 2026-09-10 12:14:17 Target Skills & Keywords : Deep Learning, Machine Learning, NLP, PyTorch, Python, Reinforcement Learning About the job Required Skills: •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. •Partner cross-functionally with a multidisciplinary team to integrate RL techniques with formal methods. •Stay abreast of the latest developments in RL, formal methods, and related fields. 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. •In-depth knowledge of mathematical concepts, including algebra, geometry, and analysis. •PhD in Computer Science, Mathematics, or a related field. •Demonstrated success in high-quality research demonstrated by publications, patents, or software contributions. •Contributions to open-source projects or development of software tools in the field. •Strong background in RL, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing). •Proficiency in formal methods, including experience with theorem proving systems. Interested candidates, please apply directly through the job posting on company's career page or try via AI auto apply on this platform. Don't miss this opportunity to join a forward-thinking team!