Harmonic

Use Aristotle and proof assistants to verify production hardware and software, define precise properties, and deliver reproducible formal verification workflows for customers. This customer-facing role also feeds field insights back into product and research while advancing the boundaries of AI-assisted reasoning.

Build Harmonic’s flagship product end to end, combining scalable Python backend services with polished, performant web interfaces. You’ll own product architecture, APIs, data flows, and infrastructure while turning advanced mathematical AI capabilities into intuitive user experiences.

Build the scalable ML pipelines and cloud infrastructure that turn Harmonic’s mathematical-reasoning research into reliable production systems. This implementation-heavy role spans data engineering, model evaluation, research-code refactoring, Kubernetes deployment, and observability.

Build and optimize Harmonic’s end-to-end reinforcement learning training and inference infrastructure, from distributed systems and GPU clusters to custom kernels. The role focuses on maximizing throughput and minimizing latency for large-scale foundation model workloads.

Build scalable infrastructure software that turns Harmonic’s AI research into reliable, user-facing products. You’ll work across research and product teams while contributing throughout the software development lifecycle.

Build scalable, user-facing AI software while working closely with research scientists to turn advanced algorithms into practical products. This role spans the full development lifecycle and connects Harmonic’s mathematical reasoning research with product engineering.