Jobs at Harmonic

Builds Aristotle, an AI reasoning engine whose outputs can be formally verified, for mathematics and software work