AdaCore
HEADQUARTER
Paris, FranceFOUNDED
1994COMPANY SIZE
51-200INDUSTRY
Aerospace and Defence, Automotive, High IntegrityCAREERS
What we do
AdaCore equips developers to create reliable, safe, and secure software. For over 30 years, we have supported and provided open-source toolchains for Ada/SPARK, C/C++, and Rust to high-integrity industries like aerospace, defense, rail, automotive, energy, telecom, finance, and medical. We build our toolchains to meet the most rigorous standards so you can focus on your code and reach your certification goals.