Careers > Software Engineer
Last modified 6/18/2021 1:23:45 PM

Software Engineer

Permanent contract
AdaCore
Paris or Grenoble, France
0-5 years

AdaCore is looking for a Software Engineer to join an international team working on CodePeer, a comprehensive static analysis toolsuite for Ada.

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. For over 20 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 120 experts worldwide in the US (New York, Lexington), France (Paris, Toulouse, Grenoble and Vannes), the UK and Estonia all play a role in developing bleeding edge technologies to meet the highest grade of open-source 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.

You would join the CodePeer team, which develops multiple static analyses engines -- including a fork of the Infer static analyzer.

Your responsibilities include:

  • Develop new checkers within AdaCore’s version of Infer, which provides support for Ada;
  • Design new analyses to detect cyber vulnerabilities relevant for Ada;
  • Take part in a revamp of CodePeer’s user interface, to better support integration in customer’s workflows;
  • Maintain the existing CodePeer analysis engines;
  • Support AdaCore’s customers that use CodePeer;
  • Communicate with Infer’s team at Facebook, in order to upstream our patches.

Your qualification and skills must include:

  • You have a master or a doctorate in Computer Science;
  • You read and speak English fluently;
  • You are comfortable with UNIX systems and working from a command-line interface;
  • You can set your own priorities and are able to learn by yourself complex environments;
  • You are interested in joining a geographically-distributed team, and be able to undertake the occasional travel for face-to-face meetings

The following are not mandatory but are considered a plus:

  • Familiarity or prior experience with static analysis of any kind;
  • Prior knowledge of Ada and/or OCaml;
  • Interest in user experience.
  • Prior experience with integration in DevOps pipelines

Beyond the job:

We are looking for engineers 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. Our cultural diversity is one of our strengths, enabling us to operate successfully on an international scale and we celebrate it during our social events (summer meetings, activity weekends, Holiday dinner etc). 

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.  

Powered by Hello Talent