AI Safety for Critical Software Internship

Il y a 3 jours

Paris, Nouvelle-Aquitaine, France AdaCore Temps plein 10 000 € - 15 000 € Contrat

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.