LLVM IR Jobs - August 2021
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
AdaCore
Software Engineers
Posted 4 years, 10 months ago
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,…
Roles
Tech stack
Location
New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...