URSA
Techstars '18Exeter, US · 2 employees on LinkedIn · 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 · 2
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.
Capella Space5 shared keywordsCapella Space designs, builds, and operates synthetic aperture radar (SAR) satellite constellations that provide all-weather, day-and-night Earth observation imagery at sub-0.25m resolution. It offers an automated end-to-end tasking and data delivery platform serving defense and intelligence, maritime, disaster response, and infrastructure monitoring customers.
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.
Frequently asked questions
- What does URSA do?
- 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.
- Who are URSA's investors?
- URSA's investors include Techstars.
- Where is URSA headquartered?
- URSA is headquartered in Exeter, US.