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.

The Software Engineer will collaborate with AI researchers to implement AI algorithms and develop scalable software for practical applications, ensuring efficiency and reliability in software systems.

The Machine Learning Engineer will develop production-grade ML pipelines, optimize research code, and implement cloud infrastructure for ML workloads at Harmonic.