Vereinigtes Königreich
Proximie
QuEra Computing, Inc.
Scientific Software Engineer - Compiler
Vereinigtes Königreich
Harwell, England, Vereinigtes Königreich
PythonC++Rust
Automatische Übersetzung. Prüfe das Original.
Zusammenfassung
QuEra Computing, Inc. sucht einen kreativen und kollaborativen Scientific Software Engineer, der uns bei der Lösung der einzigartigen Softwareherausforderungen bei der Entwicklung modernster Simulationstools und Compiler für die neutralen Atom-Quantencomputer von QuEra unterstützt. Sie haben die Möglichkeit, mit einem dynamischen Team für wissenschaftliche Software und einer Gemeinschaft von Branchen- und akademischen Kooperationspartnern zusammenzuarbeiten und unser wachsendes Team von vielfältigen Experten bei faszinierenden Herausforderungen zu unterstützen, die von klassischen Compilertechniken bis hin zu modernen Methoden für die Quantensimulation reichen. Sie werden die Compiler-Pipeline von QuEra zusammen mit experimentellen und computergestützten Physikern von Low-Level-Hardware-Instruktionen bis hin zu High-Level-Programmiersprachen unter Verwendung unserer internen Toolchain aufbauen. Dies beinhaltet die Entwicklung neuer Compiler-Infrastrukturen sowie neues Design und Implementierung von Programmiersprachen. Sie werden Compiler gemeinsam mit modernster neutraler Atom-Hardware und Quantenfehlerkorrekturtechnologie entwerfen. Diese neue Richtung birgt zahlreiche neue Herausforderungen in den Bereichen Engineering und Wissenschaft.
Aufgaben
- Entwicklung und Pflege der auf Static Single Assignment-Zwischenrepräsentationen basierenden Compiler-Infrastruktur und Compiler-Komponenten von QuEra auf verschiedenen Abstraktionsebenen, die von unseren Hardware-Ingenieuren und Wissenschaftlern genutzt werden.
- Entwurf neuartiger domänenspezifischer Sprachen, die speziell auf unsere Hardware zugeschnitten sind, sowie des SDK Bloqade im Team.
- Integration bestehender Simulationstools in die Compiler-Pipeline und den Cloud-Service.
- Kommunikation und Zusammenarbeit mit den Wissenschaftlern von QuEra und externen Kunden, um deren Anwendungsanforderungen zu erfüllen.
Qualifikationen
- Promotion in Informatik mit Schwerpunkt auf Quantenberechnung/-architektur/-programmiersprache/Compiler oder gleichwertige Berufserfahrung.
- Begeisterung für die Entwicklung von Software-Tools für Wissenschaftler, insbesondere Physiker.
- Erfahrung mit Python-Semantik, Python-Typ-Annotationen, CPython-Interpreter.
- Erfahrung mit mindestens einer der kompilierten Sprachen und Kenntnisse ihres Typsystems, z. B. C++, Julia, Rust, Haskell, OCamel usw.
- Erfahrung mit der Entwicklung von Compilern auf Basis von Static Single Assignment-Zwischenrepräsentationen.
- Kenntnisse des gesamten Softwareentwicklungs-Lebenszyklus, einschließlich Versionskontrolle, Code-Review, Testen, CI/CD, Logging, Profiling, Debugging und Dokumentation.
- Grundkenntnisse im Quantencomputing, z. B. gängige Quantenalgorithmen, Grundlagen der Quanteninformationstheorie.
Bevorzugte Qualifikationen
- Erfahrung mit LLVM oder MLIR für die Compilerentwicklung oder Erfahrung mit einer bestehenden Compilerentwicklung
- Design von Programmiersprachen, insbesondere Programmiersprachen-Theorie
- Optimierung von Quantenprogrammen, z. B. Vereinfachung von Quantenschaltkreisen, Scheduling, Routing usw.
- Quantenfehlerkorrektur
- Beitrag zu bestehenden Open-Source-Bibliotheken
- Erfahrung mit bestehenden Schaltkreissimulationstools, z. B. cirq, qiskit, CUDA Quantum usw.
Die ungefähre Gehaltsspanne für diese Position beträgt $102,400 - $166,400.
Wir verpflichten uns zu Gleichheit, Vielfalt und Inklusion während unserer gesamten Rekrutierungs- und Auswahlprozesse.
Alle Bewerber werden auf der Grundlage ihrer Fähigkeiten, Erfahrungen, Qualifikationen und Eignung für die Stelle berücksichtigt. Wir tolerieren keine Diskriminierung aus irgendeinem Grund, einschließlich Alter, Behinderung, Geschlechtsumwandlung, Heirat oder eingetragener Partnerschaft, Schwangerschaft oder Mutterschaft, Rasse, Religion oder Weltanschauung, Geschlecht oder sexueller Orientierung.
Wir sind bestrebt, bei Bedarf angemessene Anpassungen vorzunehmen, um sicherzustellen, dass behinderte Bewerber und Mitarbeiter während des Rekrutierungsprozesses nicht benachteiligt werden.
#LI-NB1
Mehr Möglichkeiten mit einem Profil
Für mehr Stellen berücksichtigt werden, ohne den ganzen Prozess zu wiederholen? Erstellen Sie Ihr Profil, damit Unternehmen auf Nort Sie finden.
Profil erstellen