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.
#J-18808-Ljbffr
