Roku
QuEra Computing, Inc.
Scientific Software Engineer - Compiler
Zusammenfassung
QuEra Computing, Inc. sucht einen kreativen und kollaborativen Scientific Software Engineer, der uns hilft, die einzigartigen Software-Herausforderungen bei der Entwicklung modernster Simulationswerkzeuge und Compiler für die Neutralatom-Quantencomputer von QuEra zu lösen. Sie haben die Möglichkeit, mit einem dynamischen Team für wissenschaftliche Software und einer Gemeinschaft von Industrie- und akademischen Kooperationspartnern zusammenzuarbeiten und unser wachsendes Team von vielfältigen Experten dabei zu unterstützen, faszinierende Herausforderungen zu bewältigen, die von klassischen Compiler-Techniken bis hin zu modernen Methoden für die Quantensimulation reichen. Sie werden die Compiler-Pipeline von QuEra gemeinsam mit experimentellen und computergestützten Physikern aufbauen, von Low-Level-Hardware-Instruktionen bis hin zu High-Level-Programmiersprachen unter Verwendung unserer internen Toolchain. Dies beinhaltet die Entwicklung neuer Compiler-Infrastrukturen sowie neues Design und Implementierung von Programmiersprachen. Sie werden Compiler gemeinsam mit modernster Neutralatom-Hardware und Quantenfehlerkorrekturtechnologie entwerfen. Diese neue Ausrichtung bringt mehrere neue Herausforderungen in den Bereichen Engineering und Wissenschaft mit sich.
Aufgaben
- Entwicklung und Pflege der auf Static Single Assignment 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 Bloqade SDK im Team.
- Integration bestehender Simulationstools in die Compiler-Pipeline und den Cloud-Service.
- Kommunikation und Zusammenarbeit mit QuEra-Wissenschaftlern und externen Kunden, um deren Anwendungsfallanforderungen zu erfüllen.
Qualifikationen
- Promotion in Informatik mit Schwerpunkt auf Quantenberechnung/-architektur/-programmierung/Compiler oder entsprechende Berufserfahrung.
- Begeisterung für die Entwicklung von Software-Tools für Wissenschaftler, insbesondere Physiker.
- Erfahrung mit Python-Semantik, Python-Typ-Hints, CPython-Interpreter.
- Erfahrung mit mindestens einer der kompilierten Sprachen und Erfahrung mit deren Typsystem, z. B. C++, Julia, Rust, Haskell, OCamel, etc.
- Erfahrung mit der Entwicklung von Compilern auf Basis von Static Single Assignment Intermediate Representations.
- 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
- Entwurf von Programmiersprachen, insbesondere Programmiersprachen-Theorie
- Optimierung von Quantenprogrammen, z. B. Vereinfachung von Quantenschaltkreisen, Scheduling, Routing, etc.
- Quantenfehlerkorrektur
- Beitrag zu bestehenden Open-Source-Bibliotheken
- Erfahrung mit bestehenden Schaltkreissimulationswerkzeugen, z. B. cirq, qiskit, CUDA Quantum, etc.
Die ungefähre Gehaltsspanne für diese Position beträgt $102,400 - $166,400.
Wir überwachen kontinuierlich externe Marktdaten und aktualisieren die Gehaltsspannen entsprechend. Die Festlegung der Grundvergütung basiert auf mehreren Faktoren, einschließlich geografischer Platzierung, rollenspezifischem Wissen, Fähigkeiten und/oder Erfahrung.
Zusätzlich zu unseren Grundgehaltsangeboten bieten wir auch Aktienoptionen für alle neuen Mitarbeiter an.
QuEra ist bestrebt, ein vielfältiges Arbeitsumfeld zu fördern und ist stolz darauf, ein Arbeitgeber zu sein, der Chancengleichheit bietet.
Wir legen großen Wert auf Vielfalt bei unseren aktuellen und zukünftigen Mitarbeitern und diskriminieren nicht (einschließlich unserer Einstellungs- und Beförderungspraktiken) aufgrund von Rasse, Religion, Hautfarbe, nationaler Herkunft, Geschlecht, Geschlechtsausdruck, sexueller Orientierung, Alter, Familienstand, Veteranenstatus, Behinderungsstatus oder anderen gesetzlich geschützten Merkmalen.
#LI-NB1
