GCC Jobs - December 2022

Sort by

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Reset

Adacore

Posted 1 year, 11 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...). Evertyth…

Roles
Software Engineers

Tech Stack
GCC Cloud Platforms Ada Technical Marketing LLVM Release Engineering US Technical Account Management JVM Python DevSecOps Digital Marketing QA Service and Mentorship Engineering Why3

Locations

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes
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
AMD

Posted 2 years, 3 months ago

Our team works on open-source GPU drivers for Linux. We are leading contributors to the Radeon Mesa graphics and multimedia drivers included in popular Linux distributions like Ubuntu, Fedora, Arch, RHEL, SUSE, and Debian. Our software is used in ex…

Roles
Linux Software Engineer (Mesa Multimedia) Linux Build Engineer

Tech Stack
C++ cmake make GCC Vulkan VAAPI Linux Linux shell scripting open source rate control OpenGL git autotools Linux video image quality formats video codecs

Locations

Toronto
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