General Opportunity

Harmonic

We are building a mathematical reasoning engine that operates with absolute precision, using Lean 4 and reinforcement learning to verify reasoning and results.

Palo Alto Full-time Posted 11mo ago aimathematical-reasoning

Apply directly →

Interested in joining Harmonic but don’t see a role that is quite the right fit for you? Let us know!

As our team grows and our needs evolve we will proactively keep you in mind as opportunities arise that may be well suited for you.

We're grateful for your interest in joining us on the path to mathematical superintelligence and look forward to staying in touch.

Best,
Tudor and Vlad

Posted by Harmonic on their own careers page — you apply directly, no recruiter in between. View original / apply →