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 (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. Show more Show less Seniority level Mid-Senior level Employment type Full-time Job function Engineering and Information Technology Industries Software Development Referrals increase your chances of interviewing at AdaCore by 2x See who you know Get notified about new Software Engineer jobs in Paris, Île-de-France, France . Sign in to create job alert Similar jobs Junior React / TypeScript Software Engineer Junior React / TypeScript Software Engineer StrangeBee Paris, Île-de-France, France €35,000.00 - €45,000.00 1 month ago Junior Software Engineer Junior Software Engineer Alpic Paris, Île-de-France, France 6 months ago Software Engineer, New Grad Software Engineer, New Grad Mistral AI Paris, Île-de-France, France 4 days ago ALTERNANCE - Data Scientist H/F ALTERNANCE - Data Scientist H/F L'Usine Nouvelle Paris, Île-de-France, France 6 days ago Software Engineer, Web (Typescript) Software Engineer, Web (Typescript) amo Paris, Île-de-France, France 5 months ago ALTERNANCE - Data Scientist H/F ALTERNANCE - Data Scientist H/F L'Usine Nouvelle Paris, Île-de-France, France 6 days ago Junior Software Engineer Java Junior Software Engineer Java Mirakl Paris, Île-de-France, France 4 days ago Software Engineer (Python/Django) - (F/H/X) - CDI Software Engineer (Python/Django) - (F/H/X) - CDI Kraken Paris, Île-de-France, France 1 month ago Software Engineer Software Engineer Bitstack Paris, Île-de-France, France 1 week ago Candidature spontanée Candidature spontanée Dlubal Software Paris, Île-de-France, France 3 months ago Early Talent – Internships & Apprenticeships Early Talent – Internships & Apprenticeships Harmattan AI Paris, Île-de-France, France 2 months ago Candidature spontanée Candidature spontanée Qobra Paris, Île-de-France, France 2 days ago Graduate software engineer Graduate software engineer Bending Spoons Paris, Île-de-France, France 1 day ago Frontend Web Developer Frontend Web Developer Air Apps Paris, Île-de-France, France €47,000.00 - €58,000.00 3 weeks ago Software Engineer Software Engineer Riot Paris, Île-de-France, France $45,000.00 - $100,000.00 1 month ago Data Scientist F/H - Alternance Data Scientist F/H - Alternance Allianz France Paris, Île-de-France, France 6 days ago ALTERNANCE - Data Analyst / Data Scientist H/F ALTERNANCE - Data Analyst / Data Scientist H/F L'Usine Nouvelle Paris, Île-de-France, France 6 days ago Software Engineer (Entry-Level / Associate) Software Engineer (Entry-Level / Associate) Kemetec Engineering - كيميتك الهندسية Paris, Île-de-France, France 51 minutes ago Software Engineer I, Integration Team Software Engineer I, Integration Team Checkout.com Paris, Île-de-France, France 6 days ago Data Scientist - QuantumBlack, AI by McKinsey Data Scientist - QuantumBlack, AI by McKinsey QuantumBlack, AI by McKinsey Paris, Île-de-France, France 1 week ago Software Engineer Software Engineer 360Learning Paris, Île-de-France, France 8 months ago Software Engineer Software Engineer MakiPeople Paris, Île-de-France, France 5 months ago Software Engineer Software Engineer Palettehq.com Paris, Île-de-France, France €45,000.00 - €100,000.00 2 years ago Développeur / Développeuse React.JS Développeur / Développeuse React.JS GoMind Paris, Île-de-France, France 7 months ago Software Engineer, Frontend Software Engineer, Frontend Mistral AI Paris, Île-de-France, France 14 hours ago INTERNSHIP - AI SOFTWARE ENGINEER INTERNSHIP - AI SOFTWARE ENGINEER Trekea Mobile Paris, Île-de-France, France 5 days ago Senior Software Developer Senior Software Developer Shockbyte Paris, Île-de-France, France €50,000.00 - €70,000.00 2 months ago Show more jobs like this Show fewer jobs like this People also viewed Software Engineer Software Engineer Wave Group Paris, Île-de-France, France 3 weeks ago AI Research Scientist (Paris) AI Research Scientist (Paris) Lexsi Labs Paris, Île-de-France, France 6 days ago Software Developer - Remote Software Developer - Remote YO IT Consulting Paris, Île-de-France, France 3 days ago Full stack Software Engineer (Surgical Robotics) Full stack Software Engineer (Surgical Robotics) Robeauté Paris, Île-de-France, France 1 month ago Software Engineer, Backend (Paris) Software Engineer, Backend (Paris) Mistral AI Paris, Île-de-France, France 3 months ago Software Engineer (Python) - Permanent Software Engineer (Python) - Permanent Veepee Paris, Île-de-France, France 14 hours ago Front End Software Engineer Front End Software Engineer Azansys Technologies LLP Paris, Île-de-France, France 6 days ago Software Test Engineer Software Test Engineer Robeauté Paris, Île-de-France, France 2 months ago Software Engineer - Developer Software Engineer - Developer Scaleway Paris, Île-de-France, France 3 hours ago AI SOFTWARE ENGINEER – Junior or Experienced AI SOFTWARE ENGINEER – Junior or Experienced Trekea Mobile Paris, Île-de-France, France 5 days ago Similar Searches Computer Science Instructor jobs 142 open jobs Computer Scientist jobs 715 open jobs Quantitative Analyst jobs 138 open jobs Technical Artist jobs 14,763 open jobs Scientist jobs 6,219 open jobs Analyst jobs 3,411 open jobs Layout Artist jobs 1,732 open jobs Biostatistician jobs 95 open jobs Information Technology Analyst jobs 14,750 open jobs Bioinformatician jobs 22 open jobs Functional Analyst jobs 1,720 open jobs Computer Teacher jobs 106 open jobs Statistician jobs 106 open jobs Physicist jobs 64 open jobs Webmaster jobs 729 open jobs Cloud Architect jobs 2,344 open jobs Junior Analyst jobs 1,915 open jobs Linux Administrator jobs 1,058 open jobs Scrum Master jobs 6,160 open jobs Show more Show less Explore top content on LinkedIn Find curated posts and insights for relevant topics all in one place. View top content More searches More searches Computer Science Instructor jobs Computer Scientist jobs Quantitative Analyst jobs Technical Artist jobs Scientist jobs Amazon jobs IBM jobs Google jobs Analyst jobs Layout Artist jobs Biostatistician jobs Information Technology Analyst jobs Infosys jobs Bioinformatician jobs Adobe jobs Klaxoon, a Wrike company jobs QAPA, la solution digitale Adecco jobs SQLI jobs Functional Analyst jobs Cisco jobs Swift jobs Computer Teacher jobs SOLUTEC jobs Cognizant jobs CGI jobs Capgemini jobs Coriolis jobs Statistician jobs Nutanix jobs Accenture jobs Datadog jobs Salesforce jobs Deloitte jobs Groupe SII jobs La Provence jobs Physicist jobs Amplitude Studios jobs AUSY jobs Inetum jobs Arm jobs Ericsson jobs Siemens jobs Webmaster jobs CHARAL jobs ALTEN jobs Cloud Architect jobs Avanade jobs Apside jobs RAGT Groupe jobs Junior Analyst jobs Aubay jobs Devoteam jobs Viveris jobs SHIVA jobs TIBCO jobs Huawei jobs Astek jobs Linux Administrator jobs Scrum Master jobs Genetec jobs LinkedIn © 2026 About Accessibility User Agreement Privacy Policy Your California Privacy Choices Cookie Policy Copyright Policy Brand Policy Guest Controls Community Guidelines العربية (Arabic) বাংলা (Bangla) Čeština (Czech) Dansk (Danish) Deutsch (German) Ελληνικά (Greek) English (English) Español (Spanish) فارسی (Persian) Suomi (Finnish) Français (French) हिंदी (Hindi) Magyar (Hungarian) Bahasa Indonesia (Indonesian) Italiano (Italian) עברית (Hebrew) 日本語 (Japanese) 한국어 (Korean) मराठी (Marathi) Bahasa Malaysia (Malay) Nederlands (Dutch) Norsk (Norwegian) ਪੰਜਾਬੀ (Punjabi) Polski (Polish) Português (Portuguese) Română (Romanian) Русский (Russian) Svenska (Swedish) తెలుగు (Telugu) ภาษาไทย (Thai) Tagalog (Tagalog) Türkçe (Turkish) Українська (Ukrainian) Tiếng Việt (Vietnamese) 简体中文 (Chinese (Simplified)) 正體中文 (Chinese (Traditional)) Language Agree & Join LinkedIn By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement , Privacy Policy , and Cookie Policy . Sign in to see who you already know at AdaCore Email or phone Password Show Forgot password? Sign in Sign in with Email or New to LinkedIn? Join now By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement , Privacy Policy , and Cookie Policy .
