Jobs at Harmonic

Software Engineer, ML Systems at Harmonic to own the productionization of research pipelines. This role involves building and managing end-to-end ML pipelines, resolving bottlenecks in research code, standardizing ML practices, and managing cloud infrastructure on Kubernetes.

Software Engineer at Harmonic to build systems from scratch, bridging research and product development. This role involves developing robust, scalable software systems based on AI advancements, requiring experience with complex, distributed systems and a passion for AI and software development.

This is a general opportunity at Harmonic for individuals interested in joining the company. Harmonic will keep candidates in mind for future roles that may be a good fit as their team grows and needs evolve.

Harmonic is seeking a Formal Verification Engineer to verify production hardware and software using their formal reasoning agent, Aristotle. The role involves working with customers to define requirements, execute formal proofs, and deliver reproducible workflows, while also providing feedback to product and research teams.

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.

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.

Research Engineer, Training & Inference at Harmonic. This role involves owning and optimizing the entire reinforcement learning stack, from low-level simulators to distributed training and inference engines. The focus is on maximizing throughput for foundation model workloads through refactoring and performance tuning.

Software Engineer, Product at Harmonic. This role involves driving product architecture and core infrastructure, building backend services, and delivering user interfaces. Responsibilities include end-to-end product development, architecting full-stack components, designing scalable APIs, and managing backend systems and cloud infrastructure.

Software Engineer, Infrastructure at Harmonic will build infrastructure systems from scratch to bridge research and product development. Responsibilities include translating AI research into scalable software, participating in the full development lifecycle, and ensuring system reliability.