We had a fantastic time connecting with Rust enthusiasts in Paris! Check out our blog to see how AdaCore contributed to the event and what we learned from the Rust community. It was an inspiring gathering of technology and innovation! 👉 Discover our highlights: https://lnkd.in/g5bhaA7Y #RustLang
AdaCore
Développement de logiciels
Paris, France 10 976 abonnés
Helping Developers Build Software that Matters
À propos
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.
- Site web
-
http://www.adacore.com
Lien externe pour AdaCore
- Secteur
- Développement de logiciels
- Taille de l’entreprise
- 51-200 employés
- Siège social
- Paris, France
- Type
- Société civile/Société commerciale/Autres types de sociétés
- Fondée en
- 1994
- Domaines
- Software tools and expertise for safety-critical, security-critical et and high-reliability applications.
Lieux
-
Principal
46 rue d'Amsterdam
75009 Paris, France, FR
-
15th floor
10011 New York, NY, US
Employés chez AdaCore
Nouvelles
-
Discover how Latence Technologies Inc. (Latencetech) is leveraging the Ada programming language to revolutionize the telecommunications industry! Our latest blog explores Ada's crucial role in boosting reliability and driving innovation within telecom software at LatenceTech. 👉 Read the full story here: https://lnkd.in/er3xCisi
-
-
AdaCore a republié ceci
Join us at #HISC2024 to hear from two of the UK's leading experts in large-scale high-integrity software. Meet our keynotes: Rob Ashmore is the UK Ministry of Defence's Future Combat Air System (FCAS) Chief Technologist - Software. John Goodacre is the UK Research and Innovation Challenge Director for #DigitalSecuritybyDesign and a University of Manchester Professor. Read more ➡ https://lnkd.in/eUAt-KcK
-
-
Discover how AdaCore is enhancing security with our latest initiatives in secure supply chain management and vulnerability reporting. Dive into our new blog post to learn about the steps we're taking to strengthen our systems and protect our users. 👉 Read more here: https://lnkd.in/e3JeG_Qb #CyberSecurity #SecureSoftware
-
Exciting updates to our Paris Tech Day agenda! Join us for a day filled with in-depth sessions on the latest in high-integrity software development. Don't miss out on the enhanced lineup of topics and expert insights. 📅 Mark your calendars and be part of the conversation. Let's dive into the future of software together! 👉 Learn more and register: https://lnkd.in/eyAmk44z #AdaCoreTechDay
-
-
Master the Ada programming language with our Public Ada Virtual Training Course! Ideal for individuals or small groups, this five-day course dives deep into essential programming concepts and advanced Ada features through instructor-led lectures, quizzes, and hands-on labs—all from the comfort of your home. 📅 If you are in the US, join us on September 16-20, 2024, for an immersive learning experience that will boost your software engineering skills. 👉 Secure your spot now: https://lnkd.in/eh4uVTHU hashtag #AdaProgramming #VirtualTraining
-
-
AdaCore is excited to announce its participation in the SCHEME research project. Rolls-Royce has assembled a world-class consortium of UK industry and academia to deliver the next generation of high-integrity processing platforms for use in aerospace and other harsh environments. The £37.5m investment program is co-funded by the ATI Programme, which funds civil aerospace research in the UK and which is delivered in partnership by the Aerospace Technology Institute, the Department for Business & Trade and Innovate UK. Read more here: https://lnkd.in/e92T8aEh
-
-
🎉 Wrapping up our anniversary week, we look at our partnership with the Laboratory for Atmospheric and Space Physics, LASP. Mat Merkow shares his positive experience with our team's support and the quality of our work. #AdaCoreturns30
-
-
🎉 Continuing our anniversary celebrations, today we feature Franz Walkembach from SYSGO - Embedding Innovations. He appreciates the responsive, friendly, and professional nature of our team. Join us as we explore more from our brilliant clients and partners this week! #AdaCoreturns30
-
-
🎉 Today, we spotlight our long-term partnership with Lynx Software Technologies. Al Maillet comments on our innovation and commitment to software quality, key elements that have defined our collaboration. hashtag #AdaCoreturns30
-