AdaCore

HEADQUARTER

Paris, France

FOUNDED

1994

COMPANY SIZE

51-200

INDUSTRY

Aerospace and Defence, Automotive, High Integrity

CAREERS

View current job openings

WRITES ABOUT

Ada and SPARK - Dynamic and Static Analysis - High Integrity software solutions - Rust

https://www.adacore.com/

What we do