Emplois
Toutes nos offres
-
Doctorat
Guidage astucieux des outils de géneration de tests
Le fuzzing est une technique de génération de tests automatisée. Il consiste en une exécution répétée dapos;un programme avec des entrées générées automatiquement, afin de déclencher des plantages, symptômes de bugs sous-jacents au niveau du code, qui peuvent ensuite être corrigés. Un défi majeur dans ce domaine consiste à passer d’une exploration indistincte du fonctionnement...
-
Doctorat
Développement d’un modèle numérique d’imagerie par rayons x en contraste de phase et dark field
Depuis 2013, le CEA List (Université Paris Saclay), développe des méthodes d’imagerie par rayons X en contraste de phase, notamment par interférométrie à décalage multi latéral. En complément de l’information en absorption, le déphasage des rayons X apporte un contraste et une sensibilité supplémentaire sur l’image, notamment pour les matériaux de faible numéro atomique ou...
-
Doctorat
Modélisation et simulation du comportement humain pour des jumeaux numériques centrés sur lapos;humain
Grâce à une représentation virtuelle synchronisée, les jumeaux numériques sont un moyen pour produire des analyses, prédictions et optimisations de systèmes du monde réel. Or certains de ces systèmes interagissent étroitement avec les humains de sorte que le rôle de ces derniers est déterminant dans le fonctionnement du système. C’est par exemple le cas dans...