View on Hacker News
Roles
Tech stack
Location
New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...
Work setup
- Employment
- Full-time
- Level
- Senior
Description
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 developers, senior account managers, devops people... Open positions are listed here : https://www.adacore.com/company/careers.
Similar jobs
-
Loading similar jobs...