. Missions principales Participer aux activités de vérification système et logiciel EUROCAB sur les projets Bi-Standard ERTMS... en vérification système et logiciel et/ou dans le secteur ferroviaire ou systèmes critiques. Compétences techniques Normes...
. Missions principales Participer aux activités de vérification système et logiciel EUROCAB sur les projets Bi-Standard ERTMS... en vérification système et logiciel et/ou dans le secteur ferroviaire ou systèmes critiques. Compétences techniques Normes...
est possible après le stage. Votre profil STAGE – Ingénieur en Vérification formelle d’algorithmes à base d’IA (H/F... des outils de vérification formelle aux algorithmes à base d’IA tels que des réseaux de neurones et des systèmes de règles...
dans le domaine et de mener à bien votre projet de thèse. Votre profil Doctorant en Vérification formelle d'IA (H/F... sur : Connaissances dans un ou plusieurs des domaines suivants : logique et génie logiciel, IA connexionniste ou symbolique, vérification...