Turn this role into an interview — a resume and cover letter built around what this employer wants.
Harmonic is building a mathematical reasoning engine using Lean4 and RL to verify reasoning and results, backed by top investors. We seek a Software Engineer to build infrastructure from scratch, bridging research and product development.
You will develop robust, scalable software systems behind our AI-driven product, collaborating with researchers and engineers to deliver high-quality, reliable solutions. This role offers challenges in distributed systems and cutting-edge AI technology.
Harmonic is building a mathematical reasoning engine using Lean4 and RL to verify reasoning and results, backed by top investors. We seek a Software Engineer to build infrastructure from scratch, bridging research and product development.
You will develop robust, scalable software systems behind our AI-driven product, collaborating with researchers and engineers to deliver high-quality, reliable solutions. This role offers challenges in distributed systems and cutting-edge AI technology.