Teams at Harmonic (harmonic.fun)

Conduct formal-methods research for software, hardware, and mathematical verification. Apply Lean or similar proof assistants to verify safety-critical systems, develop algorithms that improve AI-driven theorem proving, and collaborate with AI researchers to train reliable reasoning systems. The role requires technical research project ownership and may involve programming languages, safety-critical verification, open-source tools, and high-quality research contributions.

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.