THE FUTURE OF INTELLIGENCE IS VERIFIED
FORMAL VERIFICATION ENGINEER
Palo Alto, London
We are seeking a Formal Verification Engineer to verify production hardware and software with Aristotle https://aristotle.harmonic.fun/, our formal reasoning agent. In this role, you will work with customers to scope requirements, define properties, execute formal proofs, and deliver reproducible workflows while feeding insights back to product and research. We are looking for a rigorous problem-solver with expertise in formal verification that can adapt readily based on customer requirements and expand the boundaries of Aristotle to push it further.
APPLYGENERAL OPPORTUNITY
Palo Alto
Interested in joining Harmonic but don’t see a role that is quite the right fit for you? Let us know!
APPLYRESEARCH ENGINEER
Palo Alto
We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. This position will be focused on advancing mathematical theorem proving using cutting-edge RL techniques. The successful candidate will play a key role in developing new algorithms and models that integrate RL with formal methods to solve complex problems in theorem proving and beyond.
APPLYRESEARCH ENGINEER, TECHNICAL LEAD
Palo Alto
We are seeking a highly motivated and experienced Research Engineer, Technical Lead to join our Reinforcement Learning & Formal Methods team. The focus of this position will be on leading advancements in mathematical theorem proving using cutting-edge RL techniques. The successful candidate will play a key role in developing research vision and driving execution against research priorities that integrate RL with formal methods to solve complex problems in theorem proving and beyond.
APPLYRESEARCH ENGINEER, TRAINING & INFERENCE
Palo Alto
We are developing reinforcement learning systems at a scale where standard abstractions frequently fail. Unlike labs that operate primarily through high-level wrappers, we own the entirety of our RL stack. This ownership spans from low-level environment simulators and custom communication primitives to our distributed training loops and inference engines.
APPLYSOFTWARE ENGINEER
Palo Alto
We are seeking a talented Software Engineer to build systems from scratch, bridging the gap between our research and product development. In this role, you will develop robust, scalable software systems behind our product based on the discoveries and advancements in AI from our researchers. We are looking for a problem-solver that has experience working on complex, distributed systems and are passionate about advancements in AI and software development.
APPLYSOFTWARE ENGINEER, INFRASTRUCTURE
London
We are seeking a talented Software Engineer to build infrastructure systems from scratch, bridging the gap between our research and product development. In this role, you will develop robust, scalable software systems behind our product based on the discoveries and advancements in AI from our researchers. We are looking for a problem-solver that has experience working on complex, distributed systems and are passionate about advancements in AI and software development.
APPLYSOFTWARE ENGINEER, ML SYSTEMS
Palo Alto
We are looking for a pragmatic, Software Engineer to own the productionization of our research pipelines. This is an implementation-heavy role designed for an engineer who can take a nascent research idea and build the robust, scalable machinery required to prove it at scale within our cloud infrastructure.
APPLYSOFTWARE ENGINEER, PRODUCT
Palo Alto
We are seeking a talented Software Engineer to drive both the product architecture and core product infrastructure of Harmonic’s flagship product. In this role, you will be building robust backend services and delivering polished, performant user interfaces. We are looking for a driven self-starter who wants to own systems from inception, with a proven track record of architecting applications from the ground up, building scalable services, and delivering high-performance, reliable systems.
APPLY