- 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.
-
Design of Optomechanical Oscillators for Quantum
il y a 1 semaine
CEA - Commissariat à l'Energie Atomique Grenoble, France**Domaine**: · Composants et équipements électroniques · **Contrat**: · Post-doctorat · **Intitulé de l'offre**: · **Sujet de stage**: · Quantum computing is seen as a disruptive technology that could pave the way to the design of new computers able to solve problems out of reach ...
-
Design of Optomechanical Oscillators for Quantum
il y a 1 semaine
CEA - Commissariat à l'Energie Atomique Grenoble, France**Domaine**: · Composants et équipements électroniques · **Contrat**: · Post-doctorat · **Intitulé de l'offre**: · **Sujet de stage**: · Quantum computing is seen as a disruptive technology that could pave the way to the design of new computers able to solve problems out of reach ...
-
Ai Benchmark Engineer
il y a 5 jours
SiPearl Grenoble, France**About SiPearl***: · Founded in 2019 and financed by the European Union, SiPearl embodies Europe's dream of mastering the technological heart of its supercomputers: the microprocessor. · SiPearl is building Rhea, the world's first energy-efficient #HPC-dedicated microprocessor d ...
-
Bios Engineer
il y a 1 semaine
IC Resources Grenoble, France À temps pleinBIOS / UEFI Engineer · Join a pioneering company specialising in high-performance computing, notably known for developing Rhea, a leading energy-efficient microprocessor. Engineered for seamless collaboration with third-party accelerators like GPU, AI, and quantum technologies, ' ...
-
Bios Engineer
il y a 1 semaine
IC Resources Grenoble, France À temps pleinBIOS / UEFI Engineer Join a pioneering company specialising in high-performance computing, notably known for developing Rhea, a leading energy-efficient microprocessor. Engineered for seamless collaboration with third-party accelerators like GPU, AI, and quantum technologies, 'Rh ...
-
DevOps Engineer R&D
il y a 1 semaine
Atos Echirolles, FranceEviden is an Atos Group business with an annual revenue of circa € 5 billion and a global leader in data-driven, trusted and sustainable digital transformation. As a next generation digital business with worldwide leading positions in digital, cloud, data, advanced computing and ...
-
Senior DevOps engineer R&D
il y a 1 semaine
Atos Echirolles, FranceEviden is an Atos Group business with an annual revenue of circa € 5 billion and a global leader in data-driven, trusted and sustainable digital transformation. As a next generation digital business with worldwide leading positions in digital, cloud, data, advanced computing and ...
-
DevOps Integration Engineer R&D
il y a 1 semaine
Atos Echirolles, FranceEviden is an Atos Group business with an annual revenue of circa € 5 billion and a global leader in data-driven, trusted and sustainable digital transformation. As a next generation digital business with worldwide leading positions in digital, cloud, data, advanced computing and ...
-
System & Network Engineer HPC R&D (M/F)
il y a 1 semaine
Atos Echirolles, FranceEviden is an Atos Group business with an annual revenue of circa € 5 billion and a global leader in data-driven, trusted and sustainable digital transformation. As a next generation digital business with worldwide leading positions in digital, cloud, data, advanced computing and ...
Ingénieur de recherche en MBSE pour les architectures de Large-Scale Quantum computers H/F - Grenoble, France - CEA
Description
Description de l'offre
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 :
Poste localisé à Grenoble.
Profil du candidat
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.