AdaCore is hiring a
Senior Static Analysis Software Engineer
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
Senior role in Adacore's Static Analysis team. Focus on static analysis tooling and related Ada/GCC toolchain work; strong candidates may have experience with abstract interpretation. The position is full-time and open to remote work; apply via the website. The company notes openness to strong candidates who may not meet every requirement and encourages contacting HR for consideration.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
Senior Role
Date Listed
01 June, 2026 (6 days ago)
