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

AdaCore · Paris, France · Posted 1mo ago

Apply on AdaCore's site