'Senior Static Analysis Software Engineer' jobs

Adacore

Senior Static Analysis Software Engineer

Posted 2 weeks, 4 days 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

Senior Static Analysis Software Engineer GCC/GNU toolchain developer GNU toolchain developer Software Engineer

Tech stack

Ada LLVM JVM GNAT Binutils gcc Why3

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).