Senior Static Analysis Software Engineer

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 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 +190 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.

1. Mission

We are looking for a Software Engineer with expertise in static analysis to join our GNAT Static Analysis Suite team. The role involves a mix of extending and maintaining our current analysis engine and contributing to a new prototype for integrating Ada support into the CodeSonar platform.

2. Core Work Items

The position covers several technical areas, and the focus will evolve based on project milestones and your affinity for specific parts of the stack:

• Analysis Engine Development: Contributing to our Ada-specific analysis framework (a MOPSA-inspired engine implemented within our Infer fork).
• Ada Frontend Development: Extending and maintaining LAL2AdaIR, our Libadalang-based analysis frontend written in OCaml. This includes extending its coverage of the Ada language and ensuring the frontend remains robust through rigorous testing.
• CodeSonar Prototyping: Supporting the development of a new CodeSonar Ada analysis. This involves writing transfer functions for the new CodeSonar's Ada intermediate representation produced by LAL2AdaIR.
• Cross-Team Collaboration: Actively collaborate with the Libadalang team on frontend advancements and the CodeSonar team to ensure seamless integration and analysis extension within the broader platform.
• Product Engineering: Participating in the tool's lifecycle within the company's production framework. This includes maintaining the testsuite and ensuring that new developments meet our standards for industrial-grade tools.

3. Professional Development

This is a forward-looking role with direct influence on the architecture and future direction of our static analysis technology. Depending on the results of the CodeSonar integration, there will be opportunities to participate in the architecture of the long-term migration of our analysis suite or to specialize in advanced semantic analysis for high-integrity software.

4. Technical Profile

• Static Analysis: Minimum of five years of experience in the field of static analysis tools or the underlying theory (Control Flow Graphs, Data Flow, ASTs).
• Compiler Interest: Comfortable working with parsers, semantic analyzers, and intermediate representations.
• Engineering Rigor: A commitment to produce rigorous, qualitative code.
• Languages: Experience with OCaml or Ada is a significant advantage, but not a prerequisite.

Location: Paris/Toulouse/Grenoble (France) or Bristol (UK)

Beyond the job

We're a global organization driven by diverse backgrounds, fostering innovation through an open exchange of ideas. We welcome applicants of all backgrounds, celebrating diversity in ethnicity, nationality, gender, age, religion, abilities, sexual orientation, veteran or marital status. 

Our commitment is to help our teammates, wherever they are based, feel comfortable and satisfied, by encouraging flexibility to ensure them a healthy work-life balance. Additionally, we prioritize individual development by offering continuous training from day one with a personalized onboarding plan.