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...). Evertyth…

We are seeking to hire a CI/CD Engineer with solid understanding of C++ build system using Make/Cmake and also modern Build Systems like Bazel. Your primary responsibility will be to design and develop modernize C++ Build System. You will be working…

Edument is a consulting company (+30 employees, +10 years old) located in Helsingborg (Sweden) and Prague (Czech Republic) that develops solutions for our clients. Currently we have a strong demand for developers to build next generation development…