1 Interactive Theorem Proving job

Palo Alto, California, US (On-site)

About Harmonic At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision.