AdaCore
Created in 1994
Up & running (A)
Existing signals show a regular activitySocial networks
1,828 13,177Activities
Technologies
Entity types
Location
46 Rue d'Amsterdam, 75009 Paris, France
Paris
France
Employees
Scale: 51-200
Estimated: 141
Engaged corporates
21
0 0Added in Motherbase
3 years, 9 months ago
Value proposition
Helping Developers Build Software that Matters
AdaCore's mission is to help people build software that matters.
In the modern world there is an ever increasing amount of activities that require the integration of software. Have you driven your car today? Flown on a plane? Endeavored to move from Point A to Point B anywhere for work or play? Millions upon millions of lines of code were required in order for you to do so. We endeavor to make sure that code is safe and secure.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. With offices in Paris, New York and Boston, what started as a side project between a few NYU professors and their students has become the Aerospace and Defense industry's standard.
For more information visit our website at www.adacore.com or click on our job offerings on this page.
Software tools and expertise for safety-critical, security-critical, and and high-reliability applications.Original language
Helping Developers Build Software that Matters
AdaCore's mission is to help people build software that matters.
In the modern world there is an ever increasing amount of activities that require the integration of software. Have you driven your car today? Flown on a plane? Endeavored to move from Point A to Point B anywhere for work or play? Millions upon millions of lines of code were required in order for you to do so. We endeavor to make sure that code is safe and secure.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. With offices in Paris, New York and Boston, what started as a side project between a few NYU professors and their students has become the Aerospace and Defense industry's standard.
For more information visit our website at www.adacore.com or click on our job offerings on this page.
Commercial software solutions for Ada, C and C++ | AdaCore
https://www.adacore.com/
| Corporate | Type | Tweets | Articles | |
|---|---|---|---|---|
 | ArianeGroup | Other 14 Jul 2024 | | |
 Catapult.org National and local authorities, Civic & Social Organization | Catapult.org National and local authorities, Civic & Social Organization | Other 17 Oct 2023 | | |
 Capgemini Consulting, IT Services and IT Consulting | Capgemini Consulting, IT Services and IT Consulting | Other 17 Oct 2023 | | |
 UK Research and Innovation Public business cluster, Government Administration | UK Research and Innovation Public business cluster, Government Administration | Other 8 May 2024 | | |
 Western Digital Semiconductors, Computer Hardware Manufacturing | Western Digital Semiconductors, Computer Hardware Manufacturing | Other 4 Sep 2020 | | |
 Auvergne-Rhone-Alpes Entreprises - Isère National and local authorities, Business Consulting and Services | Auvergne-Rhone-Alpes Entreprises - Isère National and local authorities, Business Consulting and Services | Other 21 Aug 2020 | | |
 UK Atomic Energy Authority Research, National and local authorities | UK Atomic Energy Authority Research, National and local authorities | Other 22 Jul 2024 | | |
 European Space Agency - ESA Defence and Aerospace, Aviation and Aerospace Component Manufacturing | European Space Agency - ESA Defence and Aerospace, Aviation and Aerospace Component Manufacturing | Not capitalistic Not partnership Event 5 Oct 2021 14 Jul 2024 | | |
 Inria Research, Research Services | Inria Research, Research Services | Not capitalistic Partnership Event 15 Mar 2018 | | |
 Thales Defence and Aerospace, IT Services and IT Consulting | Thales Defence and Aerospace, IT Services and IT Consulting | Other 7 May 2020 | | |
🚀 Exciting News! Ada is back in the TIOBE Index Top 20!
AdaCore is thrilled to announce that the Ada programming language has once again been recognised for its robustness and reliability, climbing back into the top 20 of the TIOBE Index. This underscores Ada's enduring relevance and growing interest in high-integrity software solutions.
🔗 Dive into our latest blog to discover what this resurgence means for developers and industries relying on high-stakes software applications. Read the blog here: https://lnkd.in/eEXEkJeA
Elevate Automotive Safety with SPARK.
As autonomous vehicles evolve, the critical role of secure and reliable software cannot be overstated. SPARK offers robust solutions tailored for high-integrity systems, enhancing safety and compliance with ISO 26262 standards. Discover how SPARK is driving the future of automotive safety in our detailed LinkedIn article.
Master Ada & SPARK with AdaCore's Public Training this June!
Join our expert-led sessions to elevate your skills in high-integrity software development. Limited spots available for a focused, interactive learning experience.
📅 June 2025 🔗 https://lnkd.in/eh4uVTHU
What does it take to write software you can trust on Mars?
In our latest blog, we take you step-by-step through writing a safety monitor for a Mars rover using Ada and SPARK — showcasing how high-assurance software techniques can help ensure mission success in the harshest of environments.
🔧 Practical. Insightful. Mission-critical.
Read the full article: https://lnkd.in/eskVxU-4
#AdaProgramming
Dive deeper into our Ada Idioms course with our latest blog update. Perfect for developers looking to refine their Ada skills, this update offers fresh insights and practical applications.
Read the update here: https://lnkd.in/eKHHqdTn