AdaCore propose des opportunités professionnelles visibles dans le catalogue Screeningpass, avec leurs informations de contrat, de localisation et de candidature.
AdaCore propose un stage de six mois à Toulouse au sein de l’équipe de certification, consacré à la mesure et à la réduction de la dette technique des suites de tests critiques pour la sécurité. La mission comprend la conception de méthodes d’évaluation, le développement d’outils et l’analyse des données de tests, avec Python et Git.], location faut? no.}burugburu陪 }玩大发快三 шундақ Nope invalid. Need proper JSON. Ensure no markdown.Winvalid schema requires sentences, location, contract_type, career_tracks, metadata. Let's craft. Evidence quotes short. qualifications maybe
AdaCore propose un stage de six mois à Paris consacré à l'utilisation sûre d'agents IA pour le développement de logiciels critiques en Ada ou Rust. La mission comprend la définition de contrôles autour des assistants IA, la création d'un garde-fou intégré au système de build et l'adaptation du cadre de certification à Rust, C et C++. Le poste requiert notamment de programmer en Python, d'être à l'aise avec GitLab et les conteneurs, ainsi que de savoir rédiger clairement.
AdaCore recherche un stagiaire en automatisation des processus métier avec l’IA au sein de l’équipe Enterprise Tooling, à Grenoble. Le stage consiste à identifier et automatiser des processus manuels avec des LLM et à déployer les solutions sur AWS. Python, les API LLM, Amazon Bedrock, AWS, Salesforce, ServiceNow, NetSuite et Git sont requis.
AdaCore propose un stage de six mois à Grenoble au sein de l’équipe Enterprise Tooling. La mission consiste à développer une application de supervision des synchronisations de données, avec détection d’anomalies, tableau de bord, alertes et mécanismes de reprise. Le poste s’adresse à un étudiant en dernière année d’école d’ingénieurs en informatique maîtrisant notamment Python, FastAPI ou Node.js, React et PostgreSQL.
AdaCore propose un stage de 6 mois à Paris au sein de son équipe IT, consacré à l’intégration d’agents d’IA dans un système de production sécurisé. La mission couvre la supervision automatisée, l’analyse des causes racines, l’intégration en production et l’étude des risques de sécurité, avec Python, GitLab et Docker ou Podman.