Partager :
Chez Classiq Technologies, nous façonnons l'avenir de l'informatique quantique. Notre plateforme permet aux développeurs et aux entreprises de concevoir, d'optimiser et de déployer des algorithmes quantiques à grande échelle ; elle bénéficie de la confiance des leaders du classement Fortune 500 et des gouvernements du monde entier. Classiq s'appuie sur 70 brevets.
Nous recherchons un développeur logiciel ayant une formation scientifique solide en mathématiques et en informatique pour nous aider à développer notre compilateur quantique. Nous recrutons à tous les niveaux, des chercheurs titulaires d’un master ou d’un doctorat à des ingénieurs expérimentés.
L'équipe travaille actuellement sur
- Le langage Qmod et sa chaîne d'outils de compilation : sémantique, système de types, représentation intermédiaire et pipeline de compilation de nouvelle génération — il s'agit d'un compilateur de production
- Le moteur de synthèse qui convertit des programmes de haut niveau en circuits optimisés en termes de largeur (qubits/ancillas), de profondeur et de nombre de portes, tout en respectant les contraintes définies par l'utilisateur
- Mettre en œuvre et améliorer les algorithmes de synthèse quantique issus de la littérature : arithmétique, synthèse à portes contrôlées multiples, simulation hamiltonienne (trotterisation, qDRIFT), préparation d'états, « uncomputation » et compilation tolérante aux pannes (Clifford+T, routage)
- Estimation des ressources nécessaires aux programmes quantiques
- Des outils de débogage pour les programmes quantiques, par exemple un modèle visuel du programme de haut niveau permettant aux utilisateurs d'examiner et de corriger les erreurs dans leur code
- Performances et exactitude des passes de compilation, évaluées par rapport à des algorithmes réels (par exemple, l'algorithme de Shor, l'estimation de phase quantique, QSVT)
Ce que vous ferez
- Concevoir et développer des fonctionnalités de niveau production pour le compilateur quantique
- Assumez la responsabilité de votre code : il s'agit du code de production que les clients utilisent pour atteindre leurs objectifs
- Contribuer à l'architecture du compilateur quantique et à la définition de notre langage de programmation quantique de haut niveau
- Collaborer étroitement avec les équipes chargées des produits et des algorithmes afin de mettre en place des fonctionnalités quantiques prêtes à être déployées en production
Qui vous êtes
- Master (M.Sc.) ou diplôme supérieur en mathématiques, en informatique ou dans un domaine quantitatif connexe, avec une thèse ou une expérience de recherche équivalente
- De solides bases en algorithmes et en complexité, ainsi qu'en mathématiques sous-jacentes à l'informatique quantique (algèbre linéaire avancée, théorie des groupes, espaces de Hilbert)
- Au moins 5 ans d'expérience en génie logiciel
- Expérience dans le développement de systèmes logiciels de qualité opérationnelle
- Excellente maîtrise de l'architecture logicielle, des API, des tests et de la maintenabilité
Points bonus
- Apprentissage automatique, réseaux neuronaux ou apprentissage par renforcement : un atout majeur (par exemple, heuristiques apprises ou apprentissage par renforcement pour l'optimisation des compilateurs et des circuits)
- Expérience en matière d'optimisation des performances en Python
- Expérience dans le domaine du calcul scientifique ou des logiciels de simulation
- Expérience préalable dans le développement de compilateurs
