AdaCore started the Ada SPARK Office Hours initiative in June this year.
Published
Signal category
Presence & Recognition
Quote
“The Ada SPARK Office Hours is an initiative that we started in June this year.”
— AdaCore team
Company
AdaCore
Tools for High-Integrity Development in Ada/SPARK, C/C++, and Rust
- Industry
- Software Development
- Location
- Paris, FR
- Company size
- 166 employees
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.
Founded 1994