Harmonic is seeking a Research Engineer to join their Reinforcement Learning & Formal Methods team, focusing on advancing mathematical theorem proving using cutting-edge RL techniques.

Requirements

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

Benefits

Opportunity to join an elite technical team
Chance to develop new algorithms and models that integrate RL with formal methods
Collaboration with a multidisciplinary team

Harmonic is seeking a Research Engineer to join their Reinforcement Learning & Formal Methods team, focusing on advancing mathematical theorem proving using cutting-edge RL techniques.

Requirements

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

Benefits

Opportunity to join an elite technical team
Chance to develop new algorithms and models that integrate RL with formal methods
Collaboration with a multidisciplinary team

Research Engineer

About the Company

Job Description

Requirements

Benefits

Similar Jobs

Research Engineer

Software Engineer

Research Engineer

Research Engineer

About the Company

Job Description

Requirements

Benefits

Similar Jobs

Research Engineer

Software Engineer

Research Engineer

Job Details

About Harmonic