Startup Universe
Harmonic
Math AI whose answers come with proof: Aristotle writes Lean proofs checked down to the axioms, for theorem proving and verifying that code is correct.
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