|
|
|
|
|
|
by glacambre
1781 days ago
|
|
|
AdaCore | Software Engineers | New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... | Full-Time | Remote/On-Site depends on position | https://www.adacore.com AdaCore is the maintainer of GNAT, the Ada compiler based on GCC (although we also have a few other backends, targeting LLVM IR, JVM bytecode or Why3!). We also build a lot of tools for the Ada ecosystem (static analyzers, formal proof tooling, build systems, IDEs...). What we build is open-source, we make money by selling support. We are looking for GNU Toolchain developpers, senior account managers, devops people... Open positions are listed here : https://www.adacore.com/company/careers . |
|
|