URSA
Techstars '18Exeter, US · 1 known investors
URSA Secure builds formal methods software to verify AI-generated code before production, helping companies reduce rework, prevent incidents, and accelerate modernization of large codebases. The toolkit applies formal verification techniques to prove software behavior and behavioral equivalence in AI-assisted development.
Investors · 1
Competitors · 4
by search overlapUrsa Major9 shared keywordsUrsa Major develops flight-proven aerospace and defense systems, including hypersonic engines, solid rocket motors, and space mobility solutions for military and defense applications. The company combines additive manufacturing with rapid development to deliver systems for land, sea, air, and space domains.
Ursaspace7 shared keywordsUrsa Space provides geospatial AI technology that fuses multi-modal satellite and geospatial data to deliver real-time situational awareness and intelligence reports for operators and analysts. The platform serves government, defense, and commercial clients requiring rapid insights on global activities and changes.
Mapquest5 shared keywordsProvider of geographical information systems and services; acquired by America Online.
Capella Space5 shared keywordsSpaceNews is a news publication covering the space and satellite industry, reporting on space companies, launches, defense, and related business developments.
Companies competing with URSA for the same Google search keywords, organic and paid, via search-intersection analysis.
Non-dilutive funding · 4 SBIR/STTR awards
Federal grants — no equity taken| Agency | Phase | Year | Amount |
|---|---|---|---|
| Defense Advanced Research Projects Agency (DARPA)Defense Advanced Research Projects Agency | Phase II | 2023 | $1.8M |
| U.S. Air ForceAir Force | Phase II | 2019 | $750K |
| U.S. Air ForceAir Force | Phase I | 2019 | $74.9K |
| U.S. Air ForceAir Force | Phase I | 2019 | $50K |
Source: SBIR.gov award data (U.S. Small Business Administration). SBIR/STTR awards are competitive federal R&D grants and contracts — non-dilutive capital alongside any venture rounds above.