[ research ]
Research Engineer
Harmonic- Location
- Not specified
- Work mode
- On-site
- Type
- full time
- Listed
Applications go directly to Harmonic. Ramai takes no fee for placement and no money for ranking.
[ About this role ]
Research Engineer focused on advancing mathematical theorem proving using Reinforcement Learning and Formal Methods. This role involves conducting research, developing novel RL algorithms and models, and collaborating with a multidisciplinary team.
Skills and focus areas
- reinforcement learning
- formal methods
- mathematical theorem proving
- python
- software development
- testing
- deep learning frameworks
Summary written by Ramai from the original posting. Full details and requirements are on Harmonic’s careers page.
[ More at Harmonic ]
See all 9 open roles at Harmonic →[ Similar roles at other startups ]
- Machine Learning ResearcherDoe
- Reporter, Gulf Region - Middle East (remote)Axios
- Research Scientist / Engineer – Reinforcement Learning InfrastructureLuma Labs
- Principal Scientist - Radio Frequency Plasma HeatingCommonwealth Fusion Systems
- Robotics Research, Humanoid Manipulation Intern (spring 2027) | PhdFieldAI
[ Not quite right? ]
Tell the assistant what you’re after — stage, location, stack, visa sponsorship — and it searches every open role for you. A few questions are free, no account needed.