Research Engineer
Harmonic, Palo Alto
The role
We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. The successful candidate will play a key role in advancing verifiable reasoning by developing new algorithms, models, and RL techniques.
What you will do
- 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.
What you need
- 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.