AdaCore
23 open roles
- Using AI agents safely for the development of Ada or Rust safety-critical software — Paris, France
- Data Synchronization Monitoring — Grenoble, France
- SPARK: Formally verify an ordered set/map library in SPARK — Toulouse, France
- Business Process Automation with AI — Grenoble, France
- AI agents integration in a production system — Paris or Toulouse, France
- HR Data and Social reporting Intern — Paris, France
- GNATpolyglot: introduce a backend for Python bindings generation — Paris, France
- Libadalang: Analyzing Rust sources with LKQL — Paris, France
- GNATfuzz fuzzing embedded C — Paris, France
- Libadalang: Optimizing the LKQL JIT compiler — Paris, France
- US Contracts & Compliance Legal Fellow — NY, US
- US HR Manager — New York, US
- Senior FP&A Analyst — Paris, France
- Key Account Manager — NY, or Novi (MI)
- Want to apply ? — United States, Europe
- Strategic Account Manager — USA — $150k - $180k
- Inclusion and Diversity Advocate — Global
- GNU toolchain developer — France/US — $60k - $80k
- Hepatic Perfusion Practitioner — New Haven, Connecticut
- QA Release Engineer — Paris or Toulouse, France
- Software Supply Chain Engineer — Paris (France) — $60k - $85k
- Formal verification of device drivers on the Raspberry Pi Pico using SPARK — Paris, France
- LLVM Compiler Engineer — Europe