Teams at Harmonic (harmonic.fun)

Use proof assistants and Aristotle to translate design intent into formal properties, execute proofs, diagnose failures, scope projects with customers, deliver reproducible workflows, and feed verification insights back to product and research. Travel to customer sites as needed.

The Software Engineer will work closely with AI researchers to develop scalable software integrating AI technologies, manage software lifecycle, and collaborate with cross-functional teams.

Design, build, and maintain full-stack features and high-performance backend infrastructure. Architect scalable APIs and data flows, integrate frontend and backend systems, collaborate with product, design, and research to ship user-facing products, and ensure reliability, observability, and iterative experimentation across the platform.