Stage – Projet IA pour l’aide à la preuve formelle
SERMA Group
- Paryż
L’objectif de ce stage est d’utiliser l’IA pour aider les ingénieurs à prouver mathématiquement que des logiciels critiques (aéronautique, ferroviaire, automobile…) respectent les principes de sécurit
To skrót ogłoszenia. Pełną treść i formularz aplikacji znajdziesz na stronie ogłoszeniodawcy.
Przejdź do ogłoszenia