Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over twenty years of experience working with the most respected companies in the avionics, space and defense industries, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, we’re excited to bring our time-tested technologies, expertise and services to help a whole new generation of developers.

• Company Overview
• Established 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.
• Employees 51-200 employees
• Email ******@adacore.com
• Websitehttps://www.adacore.com/