Bare Metal and Cross Environment Senior Software Engineer

il y a 5 jours

Paris, France AdaCore Temps plein

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.

For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a subscription-based model. As demand for secure applications grows in industries like automotive, medical, energy, and IoT, we're adapting our proven technologies to assist a new generation of developers.

Our 150 global experts based in the US, France, Germany, the UK, and Estonia, collectively develop cutting-edge technologies to address the challenges of high-grade 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.

AdaCore is looking for a Senior Bare Metal and Cross Environment Software Engineer to join an international team working on AdaCore’s various bare metal and cross development toolchains and embedded runtime libraries.

The Cross Team maintains the GNAT Pro toolchain which is available for a wide range of bare metal targets as well as embedded Operating Systems, providing support for Ada, C and C++. We also routinely port GNAT Pro to new platforms when needed.

Your responsibilities include:

  • Participate in the design, implementation, documentation and maintenance of our Ada/C/C++ GNU-based compilers and runtimes for cross targets (Bare Metal and with RTOSes). This includes ports to new targets as well as maintenance on existing ones for a wide variety of CPUs (32/64 bits variants of powerpc, arm, sparc, intel and riscv) and RTOSes such as VxWorks, QNX, LynxOS, PikeOS or embedded Linux;
  • Participate in the Design, implementation, documentation and maintenance of our Python-based build and testing infrastructure for such targets;
  • In order to maintain our BSPs or to develop new ones, operate debug probes (JTAG)/traces or emulation environment (QEMU).
  • Support AdaCore’s customers using these Bare Metal and Cross toolchains;
  • Prepare patches to open-source, community-supported tools so that they can be integrated into upstream repositories;
  • Collaborate on Certification Projects (traceability, design documentation, design and implementation of customer's specific requirements, integration with customer's hardware, validation).

Your qualifications and skills must include:

  • You have a minimum of 5 to 8 years of experience working with embedded systems;
  • As a result of your industrial experience, you have a good understanding of system programming and embedded software development. You are able to read and understand datasheets or target ABI documents to operate a board, design and write BSP code to boot and manage it (system calls, interruptions, timers…).
  • You understand runtime libraries, how they interact with programs and the execution environment,
  • You have a good understanding of real-time programming fundamentals (time management, tasking, concurrent programming…);
  • You have a good understanding of compilation toolchains (compiler, linker, binder, assembler) and how the various tools work together;
  • You are comfortable with UNIX system and working from a command-line interface;
  • You are also comfortable working on Windows systems;
  • You can set your own priorities and are able to learn by yourself;
  • You are interested in joining a geographically-distributed team, and can undertake occasional travels for face-to-face meetings or on-site customer visits.

The following are not mandatory but are considered a plus:

  • Experience with RTOS like VxWorks, QNX, LynxOS, PikeOS, FreeRTOS or RTEMS;
  • Experience with developing BSPs for bare-metal or RTOSes;
  • A good understanding of Ada and the Ravenscar and Jorvik profiles;
  • Experience with build and testing infrastructure, or quality assurance;
  • Experience using the Python programming language in a production environment;
  • You have some experience working with C++;
  • Experience with GDB (or equivalent) on embedded platforms;
  • Experience developing and contributing to Free Software or Open Source projects (e.g. GCC or the Linux kernel);
  • You are familiar with JTAG, Trace, and other hardware debugging methodologies;
  • You have experience in certification constrained development (ISO26262, DO178, EN50128, ECSS…)

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 has grown increasingly dependent on in an international environment. 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 are also a technology company that celebrates the open exchange of ideas, which makes innovation possible 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 them ongoing and lifelong training from their first day in AdaCore with a strong onboarding plan. As we know that juggling work and life is challenging, we offer flexibility to accommodate personal needs and work commitments.

AdaCore offers competitive compensation, benefits and thoughtful perks (summer meetings, activity weekends, Holiday dinner, etc.). We go beyond industry standards to help keep our employees comfortable and satisfied both on and off the job, no matter where they are based.

  • Bare Metal and Cross Environment Senior Software Engineer

    il y a 4 semaines

    Paris, France AdaCore Temps plein

    Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. We've developed tools and services simplifying high-integrity software development through a subscription-based model. As demand for secure applications grows in industries like automotive, medical, energy, and IoT, we're adapting our proven...

  • Bare Metal and Cross Environment Senior Software Engineer

    il y a 3 jours

    Paris, France AdaCore Temps plein

    Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a subscription-based...

  • Bare Metal and Cross Environment Senior Software Engineer

    il y a 4 jours

    Paris, France AdaCore Temps plein

    Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a subscription-based...

  • Bare Metal and Cross Environment Senior Software Engineer

    il y a 7 jours

    Paris, Ile-de-France AdaCore Temps plein

    Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a...

  • Bare Metal and Cross Environment Senior Software Engineer

    il y a 6 jours

    Paris, France AdaCore Temps plein

    Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software.For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a...

  • Cross Environment Software Engineer

    il y a 4 semaines

    Paris, France AdaCore Temps plein

    AdaCore is looking for a Cross Environment Software Engineer to join an international team working on cross development toolchains and embedded runtime libraries. Helping Developers Build Software that Matters Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. We've developed tools and...

  • Highly Experienced Software Engineer for Cross-Platform and Embedded Systems

    il y a 3 semaines

    Paris, Île-de-France AdaCore Temps plein

    We are looking for a skilled Senior Bare Metal and Cross Environment Software Engineer to join our international team. The ideal candidate will have extensive experience in system programming, embedded software development, and cross-platform toolchains.Company OverviewAt AdaCore, we focus on providing developers with the tools and services necessary to...

  • Cross Environment Software Engineer

    il y a 1 mois

    Paris, France AdaCore Temps plein

    AdaCore is looking for a Cross Environment Software Engineer to join an international team working on cross development toolchains and embedded runtime libraries. AdaCore: Helping Developers Build Software that Matters Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. For 30 years, we've partnered...

  • Cross Environment Software Engineer

    il y a 4 semaines

    Paris, France AdaCore Temps plein

    AdaCore is looking for a Cross Environment Software Engineer to join an international team working on cross development toolchains and embedded runtime libraries. AdaCore: Helping Developers Build Software that Matters Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. For 30 years, we've...

  • Cross Environment Software Engineer: Building Secure Solutions

    il y a 3 semaines

    Paris, Île-de-France AdaCore Temps plein

    AdaCore is a leading provider of software development tools and services that enable developers to build safe, secure, and reliable software.About UsWe're a global team of 150 experts based in the US, France, Germany, the UK, and Estonia. Our mission is to help developers build software that matters, and we achieve this by providing cutting-edge technologies...

  • Senior Software Engineer for High-Integrity Systems

    il y a 4 jours

    Paris 01 Louvre, Île-de-France AdaCore Temps plein

    At AdaCore, we are committed to helping developers create safe, secure, and reliable software. Our approach is centered around simplifying high-integrity software development through a subscription-based model.We cater to industries like automotive, medical, energy, and IoT, where the demand for secure applications continues to grow. Our team of 150 global...

  • Cross Environment and Bare Metal Expert

    il y a 2 semaines

    Paris, Île-de-France AdaCore Temps plein

    Beyond the Job:We seek individuals who want their work to have a direct impact on improving the reliability, safety, and security of software that modern society has grown increasingly dependent on in an international environment. Our sales and marketing team is staffed with multi-talented, tenacious, and creative individuals; and our HR team is committed to...

  • High-Performance Embedded Software Developer

    il y a 3 semaines

    Paris, Île-de-France AdaCore Temps plein

    At AdaCore, everything revolves around empowering developers to build software that is safe, secure, and reliable. We achieve this by providing cutting-edge tools and services through a subscription-based model.We are adapting our proven technologies to meet the growing demand for secure applications in industries such as automotive, medical, energy, and...

  • Senior C++ Software Engineer

    il y a 5 jours

    Paris, France Miller Maxwell Ltd Temps plein

    Senior C++ Software Engineer - Paris - Senior C++ Engineer is required to start in February 2025 or March 2025 to join a low-latency trading team working on the design, development, and enhancement of business-critical trading software. The Senior Engineer will be part of the growth of this expanding engineering team. Senior C++ Software Engineer Key...

  • Senior C++ Software Engineer

    il y a 3 jours

    Paris, France Miller Maxwell Ltd Temps plein

    Senior C++ Software Engineer - Paris - Senior C++ Engineer is required to start in February 2025 or March 2025 to join a low-latency trading team working on the design, development, and enhancement of business-critical trading software. The Senior Engineer will be part of the growth of this expanding engineering team. Senior C++ Software Engineer Key...

  • Senior C++ Software Engineer

    il y a 4 jours

    Paris, France Miller Maxwell Ltd Temps plein

    Senior C++ Software Engineer - Paris - Senior C++ Engineer is required to start in February 2025 or March 2025 to join a low-latency trading team working on the design, development, and enhancement of business-critical trading software. The Senior Engineer will be part of the growth of this expanding engineering team. Senior C++ Software Engineer Key...

  • Senior C++ Software Engineer

    il y a 7 jours

    Paris, Ile-de-France Miller Maxwell Ltd Temps plein

    Senior C++ Software Engineer - Paris - Senior C++ Engineer is required to start in February 2025 or March 2025 to join a low-latency trading team working on the design, development, and enhancement of business-critical trading software. The Senior Engineer will be part of the growth of this expanding engineering team. Senior C++ Software Engineer Key...

  • Senior C++ Software Engineer

    il y a 4 jours

    Paris, France Miller Maxwell Ltd Temps plein

    Senior C++ Software Engineer - Paris - Senior C++ Engineer is required to start in February 2025 or March 2025 to join a low-latency trading team working on the design, development, and enhancement of business-critical trading software. The Senior Engineer will be part of the growth of this expanding engineering team. Senior C++ Software Engineer Key...

  • Senior C++ Software Engineer

    il y a 6 jours

    Paris, France Miller Maxwell Ltd Temps plein

    Senior C++ Software Engineer - Paris - Senior C++ Engineer is required to start in February 2025 or March 2025 to join a low-latency trading team working on the design, development, and enhancement of business-critical trading software. The Senior Engineer will be part of the growth of this expanding engineering team. Senior C++ Software Engineer Key...

  • High-Level System Software Developer

    il y a 4 jours

    Paris, Île-de-France AdaCore Temps plein

    About AdaCoreAt AdaCore, we're dedicated to helping developers create safe, secure, and reliable software solutions. With 30 years of experience partnering with global leaders in aerospace & defense, air traffic management, space, railway, and financial services, we've established a reputation for delivering high-quality tools and services that simplify the...