Royaume-Uni
Proximie
QuEra Computing, Inc.
Ingénieur Logiciel Scientifique - Compilateur
Royaume-Uni
Harwell, England, Royaume-Uni
PythonC++Rust
Traduction automatique. Consultez l’original.
Résumé
QuEra Computing, Inc. recherche un ingénieur logiciel scientifique créatif et collaboratif pour aider à résoudre les défis logiciels uniques du développement d'outils de simulation et de compilateurs de pointe pour les ordinateurs quantiques à atomes neutres de QuEra. Vous aurez l'opportunité de travailler avec une équipe dynamique de logiciels scientifiques et une communauté de collaborateurs industriels et universitaires, et d'aider notre équipe croissante d'experts diversifiés à relever des défis fascinants, allant des techniques de compilation classiques aux méthodes modernes de simulation quantique. Vous construirez le pipeline de compilation de QuEra avec des physiciens expérimentaux et computationnels, des instructions matérielles de bas niveau aux langages de programmation de haut niveau, en utilisant notre chaîne d'outils interne. Cela implique le développement de nouvelles infrastructures de compilation et la conception et l'implémentation de nouveaux langages de programmation. Vous co-conçurez des compilateurs avec du matériel à atomes neutres de pointe et une technologie de correction d'erreurs quantiques. Cette nouvelle orientation implique de multiples nouveaux défis en ingénierie et en science.
Responsabilités
- Développement et maintenance de l'infrastructure de compilation basée sur les représentations intermédiaires d'affectation unique statique (Static Single Assignment) de QuEra et des composants du compilateur à divers niveaux d'abstraction utilisés par nos ingénieurs matériels et scientifiques.
- Conception de nouveaux langages spécifiques à notre matériel ainsi que du SDK Bloqade avec l'équipe.
- Intégration des outils de simulation existants avec le pipeline de compilation et le service cloud.
- Communication et collaboration avec les scientifiques de QuEra et les clients externes pour répondre à leurs exigences d'utilisation.
Qualifications
- Doctorat en informatique avec spécialisation en calcul/architecture/langage de programmation/compilateur quantique, ou expérience professionnelle équivalente.
- Enthousiasme pour la création d'outils logiciels pour les scientifiques, en particulier les physiciens.
- Expérience avec la sémantique Python, les indications de type Python, l'interpréteur CPython.
- Expérience avec au moins un des langages compilés et expérimenté avec leur système de types, par exemple C++, Julia, Rust, Haskell, OCamel, etc.
- Expérience avec le développement de compilateurs basés sur des représentations intermédiaires d'affectation unique statique (Static Single Assignment).
- Connaissance du cycle de vie complet du développement logiciel, y compris le contrôle de version, la revue de code, les tests, le CI/CD, la journalisation, le profilage, le débogage et la documentation.
- Connaissance des bases de l'informatique quantique, par exemple, algorithmes quantiques courants, bases de la théorie de l'information quantique.
Qualifications Préférées
- Expérience avec l'utilisation de LLVM ou MLIR pour le développement de compilateurs, ou expérience avec un développement de compilateur existant.
- Conception de langages de programmation, en particulier théorie des langages de programmation.
- Optimisation de programmes quantiques, par exemple simplification de circuits quantiques, ordonnancement, routage, etc.
- Correction d'erreurs quantiques.
- Contribution à des bibliothèques open-source existantes.
- Expérience avec des outils de simulation de circuits existants, par exemple, cirq, qiskit, CUDA Quantum, etc.
La fourchette de salaire de base approximative pour ce poste est $102,400 - $166,400.
Nous nous engageons à l'égalité, à la diversité et à l'inclusion tout au long de nos processus de recrutement et de sélection.
Tous les candidats sont considérés sur la base de leurs compétences, de leur expérience, de leurs qualifications et de leur adéquation au poste. Nous ne tolérons aucune discrimination, y compris l'âge, le handicap, le changement de genre, le mariage ou le partenariat civil, la grossesse ou la maternité, la race, la religion ou les convictions, le sexe ou l'orientation sexuelle.
Nous nous engageons à apporter les ajustements raisonnables nécessaires pour garantir que les candidats et employés handicapés ne soient pas désavantagés pendant le processus de recrutement.
#LI-NB1
Plus d’opportunités avec un seul profil
Vous souhaitez accéder à plus de postes sans répéter tout le processus ? Créez votre profil pour être trouvé par les entreprises utilisant Nort.
Créer mon profil