AdaCore is an international software development company specializing in tools and technologies for high-integrity, safe, secure, and reliable software development.
The company develops software tools and services for industries including aerospace and defense, air traffic management, space, railway, automotive, medical, energy, and financial services.
AdaCore provides development technologies for Ada, SPARK, C, C++, and Rust, helping organizations build dependable software for safety-critical and security-sensitive applications.
Founded in 1994, AdaCore operates internationally, with teams across the United States, France, Germany, the United Kingdom, and Estonia. The company emphasizes innovation, collaboration, technical excellence, and employee development.
