AdaCore

AdaCore is seeking a talented and highly motivated GNU toolchain developer.

Everything we do at AdaCore is centered around helping developers build the safest, most secure open‑source software.

For over 25 years, we've worked with global leaders across avionics, aerospace and defense industries, building tools and providing services that ease the complex and difficult process of developing high‑integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, we’re advancing our time‑tested technologies to bring expertise and services to help a whole new generation of developers.

Our 150 experts worldwide in the US (New York), France (Paris, Toulouse, Grenoble and Vannes), the UK, Estonia and Germany all play a role in developing bleeding edge technologies to meet the highest grade of software development.

Joining AdaCore is about joining a culture of innovation, openness, collaboration and dependability, which defines how we work together, with our customers and partners.

Job Description

AdaCore maintains GNU GCC based Ada and C/C++ compilation tool suites for a wide range of customers and operational environments. We currently support native toolchains for x86/x86_64-Linux/Windows, cross ports to a variety of target architectures such as Leon, PowerPC, Arm or Aarch64, bare metal or on top of RTOSes such as VxWorks or LynxOS.

Our toolchains are all based on a branched version of GCC/Binutils, which we evolve on a very regular basis to anticipate our customers’ needs for better performance, particular features or new architectures.

Responsibilities

• Maintain and evolve GCC middle‑end and back‑end components for Ada and C/C++ compilation toolchains.
• Provide expert customer support and troubleshooting for production toolchains.
• Port toolchains to new target architectures and develop new features.
• Improve compiler performance and implement optimization improvements.
• Collaborate with upstream GCC developers, contribute patches, and participate in the GCC community.

Qualifications

• Strong experience with GCC middle‑end or back‑end development.
• Familiarity with the GCC contribution process and upstream development.
• Experience in the Binutils domain or willingness to develop expertise.
• Knowledge of cross‑compilation for embedded or RTOS environments is a plus.

Beyond the Job

We are looking for individuals who want their work to have a direct impact on improving the reliability, safety and security of the software that modern society depends on. Our sales and marketing team is staffed with multi‑talented, tenacious and creative individuals, and our HR team is committed to ensuring your tenure with AdaCore is a positive one.

AdaCore is a global organization driven by a team that personifies many different backgrounds and experiences. We encourage applicants of all backgrounds to consider joining us. We welcome people of all ethnicities, nationalities, gender identities or expressions, ages, religions, physical abilities, sexual orientations, veteran status, or marital status; we celebrate everything that makes you uniquely, undeniably you.

We encourage our employees to explore their curiosity by providing ongoing and lifelong training from day one with a strong onboarding plan. We offer flexibility to accommodate personal needs and work commitments.

AdaCore offers competitive compensation, benefits and thoughtful perks such as summer meetings, activity weekends, holiday dinner, and more to help keep employees comfortable and satisfied both on and off the job, no matter where they are based.

Equal Employment Opportunity

AdaCore is an equal opportunity employer and welcomes and encourages applicants of all backgrounds.