Research Engineer, Harmonic

• Strong background in AI, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing)
• Proficiency in formal methods, including experience with theorem proving systems
• Proven track record of high-quality research demonstrated by publications, patents, or software contributions
• Excellent programming skills and experience with machine learning frameworks
• Strong analytical and problem-solving skills
• Excellent communication and collaboration skills

Desirable

• We are seeking a highly motivated and skilled Research Engineer to join our AI & Formal Methods team. The initial focus of this position will be on advancing mathematical theorem proving using cutting-edge AI techniques. The successful candidate will play a key role in developing new algorithms and models that integrate AI with formal methods to solve complex problems in theorem proving and beyond
• Conduct high-quality research in the intersection of AI and formal methods, with a focus on mathematical theorem proving
• Develop and implement novel AI algorithms and models for theorem proving
• Collaborate with a multidisciplinary team to integrate AI techniques with formal methods
• Stay abreast of the latest developments in AI, formal methods, and related fields