At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the “one-stop shop” of the embedded safety-critical world.
The following positions are open:
- GNU Toolchain Developer https://app.hellotalent.com/vacancy/gnu-toolchain-developer-...
- Key Account Manager https://app.hellotalent.com/vacancy/key-account-manager-edf1...
- Compiler Front-End Software Engineer https://app.hellotalent.com/vacancy/compiler-front-end-softw...
- Field Engineer https://app.hellotalent.com/vacancy/field-engineer-edf7edc45
Please apply through the website :)
Software Engineer , Cortes 23
1 month ago
Software Engineer , Paymentology
2 months ago
Software Engineers , MixRank
1 month ago
Software Engineers , MixRank
1 week ago
Software Engineer, AI , Bond Studio AI
1 week ago
Newsletter
Let's simplify your job search. Receive your tailored set of opportunities today.
Subscribe to our Jobs