Pour obtenir de meilleurs processeurs quantiques, il est nécessaire de développer les technologies, logicielles comme matérielles, qui permettent leur passage à l’échelle (Large Scale Quantum computer), en augmentant sensiblement le nombre et la qualité des qubits et en y intégrant les mécanismes de contrôle d’erreur.

Pour aider le travail des architectes systèmes dans le développement et la mise au point de ces LSQ, il est proposé de construire une infrastructure qui permette la modélisation système de toute la chaine de contrôle des processeurs quantiques, de l’électronique à la correction d’erreur, et prenant en compte les caractéristiques des briques technologiques utilisées pour la mise en œuvre des chaines de contrôle comme la cryo-électronique, la photonique sur silicium ou le 3D Packaging.

Cette infrastructure de modélisation s’appuiera entre autre sur les techniques et méthodes de l’ingénierie système basée sur les modèles (MBSE). Il s’agit de concevoir et/ou adapter, puis de mettre en œuvre, le(s) langage(s) dédié(s) (DSL), les outils et les méthodes qui seront utilisés pour conduire les simulations et analyses utiles pour guider le développement des technologies de passage à l’échelle de qubits à état solide (superconducting cat, silicon spin et photonic).

Vos missions :

• Définir le(s) modèle(s) de domaine(s) pour les architectures de chaine de contrôle de processeurs quantiques. Cette définition se fera en lien étroit avec les experts des domaines concernés. Ce travail sera conjugué avec une identification de DSLs existants qui pourraient être adaptés ou qui peuvent inspirer la définition.
• Définir ou adapter les syntaxes concrètes des DSLs. Il est notamment envisagé de disposer d’une syntaxe textuelle dédiée et de rendus diagrammatiques des architectures ou de parties de ces architectures.
• Faire les spécifications, mettre en œuvre et tester l’outillage qui supporte l’édition des modèles d’architecture et leur visualisation. 
• Définir et mettre en œuvre des moyens permettant l’exploitation des modèles par des architectes système. Il est notamment envisagé de permettre, grâce à des API spécifiques, l’exploration et la manipulation des modèles.
• La veille technologique dans les domaines concernés, en cohérence avec la vision des membres du projet.
• Interagir avec les équipes du projet, notamment les experts des domaines modélisés.  
• Participer à la rédaction de rapports techniques et livrables projets sur les travaux développés dans le projet ainsi qu’aux publications contribuant à la dissémination des résultats.

Poste localisé à Grenoble.

Ingénieur(e), Master 2 ou docteur en informatique ou mathématiques appliquées.

Avoir des connaissances : modélisation, simulation et vérification de systèmes électroniques (ESL), Model-Based System Engineering.

Un plus serait d’avoir des notions en informatique quantique.

Technologies utilisées (a priori) : Eclipse EMF, Python, Sirius ou GraphViz, Langium ou XText.