Harmonic

Harmonic develops mathematical superintelligence and a mathematical reasoning engine designed to produce verifiable reasoning. Its Aristotle system uses Lean 4 and reinforcement learning to verify mathematical results.

Unicorn Backed by Index, Sequoia

AI

8 roles match your filters in United States Clear filters

• Research Engineer, Formal Methods2 months ago

  Palo Alto, CA · London, United Kingdom

  Apply

• Formal Verification Engineer3 months ago

  Palo Alto, CA · London, United Kingdom

  Apply

• Software Engineer, Product3 months ago

  Palo Alto, CA •$175k – $300k

  Apply

• Software Engineer, ML Systems6 months ago

  Palo Alto, CA

  Apply

• Research Engineer, Training & Inference6 months ago

  Palo Alto, CA •$200k – $450k

  Apply

• General Opportunity1 year ago

  Palo Alto, CA

  Apply

• Research Engineer1 year ago

  Palo Alto, CA •$200k – $450k

  Apply

• Software Engineer2 years ago

  Palo Alto, CA •$190k – $350k

  Apply