Description du poste
AdaCore: Helping Developers Build Software that Matters Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a subscription-based model. As demand for secure applications grows in industries like automotive, medical,…