[ research ]
Research Engineer, Formal Methods
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 in Formal Methods at Harmonic, focusing on AI-based theorem proving for software and hardware verification. Responsibilities include researching formal methods, applying verification techniques with Lean, and developing algorithms to enhance AI systems for formal methods.
Skills and focus areas
- formal methods
- theorem proving
- software verification
- hardware verification
- lean
- coq
- isabelle
- agda
- python
- reinforcement learning
- mathematical reasoning
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.