Startup Universe
Harmonic
Harmonic builds an AI-driven mathematical reasoning engine that aims to bring “mathematical superintelligence” to theorem proving, software verification, and education.
10 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, Technical Lead
Research Engineer
Software Engineer