Startup Universe
Harmonic
Harmonic builds an AI-driven mathematical reasoning engine that aims to bring “mathematical superintelligence” to theorem proving, software verification, and education.
7 open roles
Software Engineer, ML Systems
Research Engineer, Training & Inference
Software Engineer, Infrastructure
General Opportunity
Research Engineer, Technical Lead
Research Engineer
Software Engineer