AI Safety for Critical Software Internship
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
AdaCore, Paris, is offering an internship focused on safely using AI agents in high-integrity software development. The role centers on creating a verifiable framework to check AI inputs and outputs and ensure auditable traces during the build process.
You will contribute to extending AdaCore's safety framework from Ada to Rust, while collaborating with engineers across languages and validating AI-generated code before delivery.