← All companies 
Apply → Apply → $175k - $300k Apply → Apply → $200k - $450k Apply → Apply → Apply → $200k - $450k Apply → $175k - $350k Apply →
Startup Universe
Harmonic
Harmonic builds an AI-driven mathematical reasoning engine that aims to bring “mathematical superintelligence” to theorem proving, software verification, and education.
9 open roles
Research Engineer, Formal Methods
Formal Verification Engineer
Software Engineer, Product
Software Engineer, ML Systems
Research Engineer, Training & Inference
Software Engineer, Infrastructure
General Opportunity
Research Engineer
Software Engineer