Atalanta

Mathematical AI and software verification tools for energy, space, and defense organizations

+ Add to sales board

Highlights

  • New on EvolcAdded 2026-11-14

About Atalanta

Atalanta develops Argo, a software understanding platform that applies mathematical AI and formal verification to complex systems. Argo helps identify failure modes and verify safety constraints, security boundaries, and system resilience before deployment.

Its stated application areas include energy operators, space teams, and defense organizations. The company is recruiting engineers and researchers in Washington, D.C.

Product: Argo is a software platform for analyzing complex systems and verifying their safety, security, and resilience.

Jobs at Atalanta

No open positions listed right now.

More ai & ml companies

  • Atonom

    AI employees that handle sales, support, recruiting and HR tasks for businesses, priced by work performed rather than seats
    United StatesAI & MLFounded 2023
    Young companyNew on Evolc
  • Augmodo

    Wearable shelf-data capture and real-time retail analytics for retailers, brands and physical workforces
    Seattle, United StatesAI & ML
  • AutogenAI

    AI proposal and grant-writing software for enterprise bid teams, government contractors and nonprofits
    London, United StatesAI & MLFounded 2022
    Young company
  • Automat

    AI teammate and managed workflow automation for businesses, running on the software they already use
    San Francisco, United StatesAI & MLFounded 2023
    Young companyNew on Evolc
  • Avoca

    AI agents that answer calls, book jobs and follow up with customers for home service businesses such as HVAC and plumbing
    United StatesAI & ML
    New on Evolc
  • Axiom Math

    AI reasoning systems for mathematical discovery and formal proof
    United StatesAI & ML2 open jobs

All ai & ml companies →

Website technologies

Tools and platforms detected on this company’s website, grouped by purpose. Dates record when Evolc observed them.

Content management

  • SanityMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Frontend frameworks

  • AstroMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Hosting

Recruiting

  • AshbyMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Website detection does not establish a paid subscription or company-wide use. Tools loaded after consent or sign-in may be missed. “No longer observed” does not prove the company stopped using a tool.