Available Jobs - June 2022

Adacore

Posted 2 years, 11 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 3 years 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

Adacore

Posted 3 years, 1 month 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 IT Assets project manager Inside Sales Representatives GNU toolchain developpers Devsecops people Web Designers Sales managers Compiler Engineers Rust Certification Engineers

Tech Stack

C Ada Python Ocaml C++

Locations

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

76 Software Engineering Group

Posted 3 years, 2 months ago

76 SWEG is a civilian software engineering organization operating under the United States Air Force. We are hundreds of (civilian) scientists and engineers that provide software, hardware, and engineering support solutions to a variety of Air Force …

Tech Stack

C++ Assembly LabVIEW Ada Visual Basic Fortran C# JavaScript Java

Locations

Oklahoma City, OK

Adacore

Posted 3 years, 2 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

QA Release Engineers Certification Engineers LLVM Compiler Engineers GNU toolchain developpers Devsecops people Sales Contract Manager Web Designers Account Managers QEMU/Cross Software Engineers Techincal Marketing Engineers Compiler Engineers

Tech Stack

C Ada Python Ocaml C++

Locations

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

Adacore

Posted 3 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 t…

Roles

QA Release Engineers LLVM Compiler Engineers GNU toolchain developpers Devsecops people Compiler Engineer Techincal Marketing Engineers Services engineers

Tech Stack

C Ada Python Ocaml C++

Locations

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