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... We are looking for different profiles: - GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... ) - Senior Static Analysis Software Engineer ( https://app.hellotalent.com/vacancy/senior-static-analysis-s... ) 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 expe