Static analysis engineers Jobs - November 2021

Sort by

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Reset

Adacore

Posted 3 years, 6 months ago

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

Roles
Cybersecurity engineers GNU toolchain developpers Techincal marketing engineers Devsecops people Static analysis engineers Build system engineers Services engineers

Tech Stack
C Ada Python Ocaml C++

Locations

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
Adacore

Posted 3 years, 7 months ago

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

Roles
GNU toolchain maintainers Cybersecurity engineers Devsecops people Static analysis engineers Marketers Services engineers

Tech Stack
C Ada Python Ocaml C++

Locations

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes