Archived on
AdaCore is hiring a
GCC/GNU Toolchain Developer
About AdaCore
At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the “one-stop shop” of the embedded safety-critical world.
Job Description
Adacore is seeking a GCC/GNU Toolchain Developer to contribute to the GNU toolchain and Ada ecosystem. The role involves working on GNAT (Ada frontend) and other compiler backends (LLVM, Why3, JVM), plus tooling around IDEs, coverage tools, fuzzers, static analyzers, and formal proof tooling. All projects are open-source and supported by revenue from services (support, trainings, certifications). Apply through the website links provided in the posting.Remote
Remote Conditions
Remote or On-Site; no explicit time-zone or country restrictions stated in posting.
Salary
Not Specified
Benefits
Not Specified
Tech Tags
Abstract InterpretationAdaC##GCC ToolchainGccJvmLlvmOpen SourceStatic AnalysisWhy3
Date Listed
01 June, 2026 (2 months ago)
Loading...
Share this job
This job is archived, but you can still apply.
