Adacore | Software Engineers | Full-time | Remote or On-Site
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Fuzzers, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...
Please apply through the website. I am in the Static Analysis team, so I can answer questions if you have any. Also, if you feel like you would be a strong candidate (e.g. you have working experience with abstract interpretation) but are missing some of the requirements (e.g. not in the right location or only three years of experience instead of five etc) and this is making you hesitate to apply, please contact me - I'm just a lowly engineer far removed from the hiring pipeline but I'd love to hear for you and try to convince HR that you could be a good fit :).
AdaCore | https://www.adacore.com// | Software Engineer | FULLTIME | REMOTE | Paris, France / Tallinn Estonia
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.
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...
Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything is open-source and we make money by providing support, trainings, certifications...
Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything we build is open-source and we make money by providing support, trainings, certifications...
Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...), so it's fine to apply even if you don't know the language!
Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything we build is open-source and we make money by providing support, trainings, certifications...
Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...), so it's fine to apply even if you don't know the language!
Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything we build is open-source and we make money by providing support, trainings, certifications...
Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...), so it's fine to apply even if you don't know the language!
This sounds really great, and exactly what we're looking for. Do you have a resume that I could share with the team manager and HR?