Available Jobs - October 2022

Adacore

Posted 2 years, 1 month 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, Static Analyzers, Formal proof tooling...). Evertyth…

Roles

Software Engineers

Tech Stack

devsecops GCC Ada LLVM JVM Python Cmake Why3

Locations

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

Adacore

Posted 2 years, 2 months 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, Static Analyzers, Formal proof tooling)...

Roles

Software Engineers

Tech Stack

GCC Ada LLVM Release Engineering JVM Python DevSecOps Software Supply Chain QA Why3 Cloud Platform Administration Product Security

Locations

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

Adacore

Posted 2 years, 3 months 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, Static Analyzers, Formal proof tooling)...

Roles

Software Engineers

Tech Stack

GCC Ada LLVM Release Engineering JVM Python DevSecOps Software Supply Chain QA Why3 Cloud Platform Administration Product Security

Locations

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

Adacore

Posted 2 years, 4 months 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, Static Analyzers, Formal proof tooling). Evertything…

Roles

Software supply chain engineers Python/devops developers IT Systems Engineers Product Security Engineers QA/Release Engineers GCC/GNU toolchain developers

Tech Stack

GCC Ada LLVM JVM Python Why3 DevOps

Locations

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

Adacore

Posted 2 years, 5 months ago

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everythi…

Roles

Senior Accountants Python/devops developers GNU toolchain developpers QA/Release Engineers Sales managers Infrastructure Software Engineers IT Assets project managers Rust Project Managers

Tech Stack

GCC Ada LLVM JVM Why3

Locations

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

Adacore

Posted 2 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

Simulink Certification Engineers QA Release Engineers Digital Communication Executive GNU toolchain developpers Devsecops people Web Designers Sales managers Infrastructure Software Engineers IT Assets project managers Rust Project Managers

Tech Stack

C Ada Python Ocaml C++

Locations

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