About AdaCore
AdaCore, founded in 1994, is a leading provider of software development and verification tools for mission-critical, safety-critical, and security-critical systems. The company builds toolchains and IDEs supporting Ada, SPARK, C/C++, and Rust programming languages, serving customers in aerospace, defense, automotive, railway, and transportation industries. What began as a project among NYU professors has grown into the Aerospace and Defense industry's standard for high-integrity software development tooling.
Company details
Funding
Last stage
Growth
Investors
Founders
Franco Gasperoni
Co-founder and CEO of AdaCore. Holds an engineering degree from Mines ParisTech and a PhD in Computer Science from NYU. Involved with Ada commercially and technically since 1991.
LinkedInCyrille Comar
Co-founder and Managing Director of AdaCore, long-time business partner of Franco Gasperoni in growing the company.
Edmond Schonberg
Co-founder of AdaCore and academic at NYU who worked on the original Ada interpreter project that became the foundation for GNAT and AdaCore.
What happens next.
No applications, no recruiter spam. Just the intro.
Confirm the fit
A few questions to make sure this role is the right shape for you. Two minutes.
I pitch you to the company
I write the intro, send it to the founder, and handle the back-and-forth.
A meeting lands on your calendar
If they’re a yes, I book the chat. You show up — that’s the whole job-hunt.