Axiom Math
Formal foundations and tooling for verifying proofs and reasoning about logic — including AXLE, our interactive proof environment.
Backed by E14 Management, LLC, Flying Fish Management, LLC, Greycroft, Madrona Venture Group, LLC, Toyota Ventures
Traction is an independent job board.
This listing is read from the company’s own careers page and links straight back to it. We never receive your application.