Soutien à la recherche Ingénieur·e en calcul scientifique pour le projet européen HPCQS (H/F) Un poste d’Ingénieur·e en calcul scientifique pour le projet européen HPCQS (H/F) est à pourvoir. Ce poste est mutualisé entre trois laboratoires d’informatique en Île-de-France : l’IRIF (Institut de Recherche en Informatique Fondamentale), le LIPN (Laboratoire d’Informatique de Paris Nord) et le LMF (Laboratoire Méthodes Formelles). ↪ Postuler sur le Portail Emploi CNRS Informations générales Date limite de candidature : 15 mai 2023 Lieu de travail : Gif sur Yvette. Type de contrat : CDD Technique/Administratif de 12 mois Date d'embauche prévue : 1 juin 2023 Missions Mettre en œuvre des méthodes mathématiques pour modéliser et des techniques informatiques pour optimiser la programmation et l'accès aux données Mobiliser les méthodes mathématiques et informatiques pour résoudre un problème théorique relatif à la simulation d'un modèle ; optimiser sa programmation sur une machine cible et proposer les outils adaptés. Activités Mettre en œuvre des méthodes d'analyse mathématiques et de calcul intensif pour répondre à un besoin de recherche et exploiter les données issues d'expériences ou d'observations Développer des codes pour traiter des problèmes spécifiques Optimiser des codes de calcul pour de nouvelles architectures Participer à des projets de recherche au plan national et international et aux publications associées Transmettre les connaissances et les compétences en matière de calcul scientifique, au travers de présentation et de formation Connaissances Mathématiques Algorithmique Langages de programmation Méthodes de modélisation et de développement Compétences opérationnelles Apporter des réponses à des besoins spécifiques Mettre au point ou adapter des techniques nouvelles Programmer dans différents environnements informatiques Gérer un référentiel technique Rédiger des documents Communiquer et faire preuve de pédagogie Contexte de travail L'ingénieur-e exercera en partenariat avec 4 sites : du côté académique avec les 3 laboratoires IRIF (Université Paris Cité), LIP6 (Sorbonne Université), LMF (Université Paris Saclay); du côté industriel avec ATOS. Des déplacements éventuels en France et en Europe sont aussi à prévoir. L'ingénieur-e travaillera en soutien au projet européen HPCQS (High-Performance Computer and Quantum Simulator hybrid) en mettant en application des techniques de programmation et d'algorithmes pour le machine learning pour le calcul quantique sur une nouvelle plateforme reposant sur les technologies quantiques et en cours de développement en France et au niveau européen. Le développement est découpé en deux tâches principales. Tâche 1 (LMF, ATOS) : Contribuer à une bibliothèque implémentant la manipulation graphique d'opérateurs quantiques, interfacée avec la librairie MyQLM d'ATOS. Implémenter les règles de transformation fournies par la théorie. Caractériser les formes autorisées par les contraintes hardware de la machine Pasqal, fournir un système de réécriture pour y parvenir. Étudier la possibilité d'approximation de l'opérateur en vue de coller à ces contraintes. Étudier l'impact de telles approximations sur la fidélité du résultat. Développer des outils pour décider des meilleures stratégies à mettre en œuvre. Développer des outils pour décider des meilleures stratégies à mettre en oeuvre. Tâche 2 (IRIF, LIP6, ATOS) : Contribuer à une bibliothèque pour les applications en machine learning dans le cadre du calcul analogique. Dans la lignée de travaux existants, adapter, convertir ou reconstruire un ensemble de bibliothèques pour la conception d'algorithmes quantiques de machine learning. Étudier le potentiel de la modélisation générative quantique pour explorer le potentiel des approches quantiques pour réduire la quantité de données nécessaires à l'apprentissage. Adaptation au calcul analogique les techniques benchmarking existantes. Informations complémentaires Le projet High-Performance Computer and Quantum Simulator hybrid (HPCQS, https://www.hpcqs.eu) vise à intégrer deux simulateurs quantiques, contrôlant chacun plus de 100 qubits dans des superordinateurs situés dans deux centres européens de calcul haute performance en France et en Allemagne. En joignant ses efforts à ceux du monde universitaire, des organismes de recherche et de technologie et de l'industrie, l'Europe développe sa compétitivité technologique pour les applications nécessitant des simulations complexes et la résolution de problèmes d'optimisation. Le projet HPCQS joue un rôle clé en permettant aux entités de recherche et aux industries d'exploiter les technologies quantiques. Ingénieur·e de Recherche en Développement Logiciel Un poste de Chef·fe de projet ou expert·e en ingénierie logicielle est à pourvoir. Ce poste est mutualisé entre trois laboratoires d’informatique en Île-de-France : l’IRIF (Institut de Recherche en Informatique Fondamentale), le LIPN (Laboratoire d’Informatique de Paris Nord) et le LMF (Laboratoire Méthodes Formelles). ↪ Postuler sur le Portail Emploi CNRS Informations générales Date limite de candidature : 17 mars 2023 Lieu de travail : Le lieu de travail pourra être n'importe lequel des trois laboratoires (IRIF, LIPN, LMF) en accord avec la personne recrutée et en fonction des besoins des projets. Type de contrat : CDD Technique/Administratif de 12 mois renouvelable Date d'embauche prévue : 1 avril 2023 Missions Conduire la maîtrise d'œuvre de projets sur une ou plusieurs phases du cycle de vie : analyse, conception, développement, test, intégration, déploiement dans le respect du cahier des charges, des normes et des règles de sécurité. Travailler dans un réseau d'ingénieurs en soutien de chercheurs localisés sur des sites différents. Activités Piloter le projet sur tout ou partie de son cycle de vie : développement, intégration et déploiement Analyser les besoins et participer à la réalisation du cahier des charges fonctionnel du projet Assurer une veille technologique en relation avec le domaine d'application et les experts du domaine Assurer la conception de la solution au moyen d'expertises approfondies Définir l'architecture logicielle Élaborer, développer et réaliser les tests Mettre en œuvre les activités de packaging applicatif destiné à être déployé sur un ou plusieurs sites d'exploitation Configurer les serveurs d'intégration continue pour la compilation, les tests, le packaging et le déploiement automatique Rédiger et mettre à niveau les documentations techniques et fonctionnelles Assurer une assistance fonctionnelle et/ou technique aux exploitants et aux utilisateurs Connaissances Conduite de projet et principes de génie logiciel (connaissance approfondie) Langage de programmation fonctionnelle (de préférence OCaml, connaissance approfondie) Programmation système (notamment parallèle/multi-thread) et réseaux IP (en C/C++) Administration d'un système GNU/Linux Outils de développements logiciels (utilisation collaborative de git, CI/CD, Docker, …) Langages de script (Perl, Python) Sécurité des systèmes d'information et de communication Anglais niveau B2 Compétences opérationnelles Piloter un projet (expertise) Appliquer les techniques du domaine Mettre en œuvre une démarche qualité (expertise) Évaluer une solution Savoir travailler en réseau et à distance Assurer une veille technologique