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
Intégration de dispositifs quantiques sur hétérostructures Ge/SiGe
La réalisation de qubits de spin à partir de boites quantiques semiconductrices est activement explorée pour la mise au point de processeurs quantiques. S’appuyant sur les procédés de fabrication éprouvés de lapos;industrie microélectronique, cette technologie offrirait un passage à l’échelle plus rapide que d’autres technologies concurrentes. Récemment, des qubits directement dérivés de plateformes industrielles ont...
-
Doctorat
Modèle génératif conditionnel pour le calcul de la dose en radiothérapie
La propagation de particules par la méthode de Monte Carlo (MC) est reconnue pour sa précision mais est parfois limitée dans ses applications du fait de son coût en ressources informatiques et en temps de calcul. Cette limitation est dapos;autant plus importante pour le calcul de dose en radiothérapie quapos;une configuration spécifique à chaque patient...
-
Doctorat
Partitionnement de circuits intégrés pour le contrôle de Qubits semi-conducteurs passant à l’échelle : co-conception des fonctions cryoCMOS et à température ambiante
Les algorithmes quantiques capable de démontrer un avantage quantique nécessiteront l’utilisation de processeurs quantiques (QPU) dotés de plusieurs milliers de Qubits. La conception d’un tel calculateur quantique est un défi pluridisciplinaire au cœur de l’ingénierie quantique. L’électronique de contrôle y fait face à des contraintes particulières liées à la température cryogénique à laquelle opèrent les...
-
Doctorat
Réseaux de neurones sur graphes pour la prédiction de la consommation de puissance d’architectures électroniques numériques
L’analyse de consommation de puissance est une étape importante du développement dapos;une architecture numérique. Cette analyse de puissance est nécessaire dès le début du codage RTL (Register Transfer Level), lorsque les modifications les plus avantageuses peuvent être apportées. Lorsque les conceptions deviennent plus grandes, lapos;analyse de puissance repose sur des traces de simulation plus longues...
-
Doctorat
Cadre formel pour la spécification et la vérification de flots de communication de processus distribués dans le Cloud
Les clouds sont constitués de serveurs interconnectés via internet, sur lesquels on peut implémenter des systèmes faisant usages d’applications et de bases de données déployées sur les serveurs. L’informatique basée sur les clouds gagne considérablement en popularité, y compris pour y déployer des systèmes critiques. De ce fait, disposer d’un cadre formel pour raisonner sur...
-
Doctorat
États de graphe universels pour des réseaux quantiques robustes et la correction d’erreurs quantiques
Les dernières années ont vu des avancées notables dans les technologies quantiques, consolidant le développement des éléments de base pour le déploiement des futurs réseaux quantiques. De tels réseaux peuvent servir à diverses fins, notamment permettre la transmission dapos;états quantiques entre des parties physiquement éloignées, ou améliorer les capacités de calcul des ordinateurs quantiques en...
-
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...