-
Open role
Senior Static Analysis Software Engineer
Posted 3 weeks ago
Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Fuzzers, Static Analyzers, Formal proof tooling...). Everythin…
Roles
Location
Remote, On-Site
Work setup
full-time · Remote or on-site (no further details).
Compensation
Full-time position; remote or on-site. Open-source company monetizing via support, trainings, and certifications.
Benefits
Open-source software (company builds open-source tools)., Support, trainings, certifications (company monetization mentioned; no explicit employee benefits listed).