Internship: AI Safety for Ada and Rust in Critical Software

AdaCore; Paris; In loco; EUR 16.000 - 20.000; Tempo pieno

Descrizione del lavoro

AdaCore in Paris is offering a six-month internship focused on enabling AI assistants to support safe, certifiable software development across Ada, Rust, C and C++. You will work with our tools and build guidance to keep AI-generated results trustworthy, with human review integrated into the workflow.

This role targets candidates curious about software safety, eager to learn, and capable of writing clearly.

Competenze

• Curiosity about software safety and certification - no prior background needed
• Interest in AI assistants and how to use them responsibly (nice to have)
• Programming in Python
• Some exposure to Ada, Rust, C or C++ (nice to have)
• Comfortable with GitLab and containers (Docker/Podman)
• Clear writing

Conoscenze

Programming in Python

AI safety awareness

Clear writing

Interest in Ada/Rust/C/C++

Strumenti

GitLab

Docker/Podman

Descrizione del lavoro

AdaCore in Paris is offering a six-month internship focused on enabling AI assistants to support safe, certifiable software development across Ada, Rust, C and C++. You will work with our tools and build guidance to keep AI-generated results trustworthy, with human review integrated into the workflow.

This role targets candidates curious about software safety, eager to learn, and capable of writing clearly.