EngRadardirect-apply

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 1y 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 →

More at Harmonic

Research Engineer

Harmonic · We are building a mathematical reasoning engine that operates wi…

Palo Alto aimathematical-reasoning
$200k–$450k 1y ago

Software Engineer

Harmonic · We are building a mathematical reasoning engine that operates wi…

Palo Alto aimathematical-reasoning
$175k–$350k 1y ago