Using AI agents safely for the development of Ada or Rust safety-critical software

AdaCore · Paris, France · Posted 5d ago

Apply on AdaCore's site