Devsecops people Jobs - May 2022
Search by company, role, stack, location, salary signal, source, and work setup.
-
Adacore
Simulink Certification Engineers
Posted 4 years, 3 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 tooling...)…
Roles
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Simulink Certification Engineers
Posted 4 years, 4 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 tooling...)…
Roles
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
QA Release Engineers
Posted 4 years, 5 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 tooling...)…
Roles
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
QA Release Engineers
Posted 4 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 tooling...)…
Roles
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
QA Release Engineers
Posted 4 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 tooling...)…
Roles
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
-
Adacore
Cybersecurity engineers
Posted 4 years, 8 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 tooling...)…
Roles
Location
Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes