Scientific Software Engineer - Hardware Compilation

Summary QuEra Computing, Inc. seeks a creative and collaborative Scientific Software Engineer to help solve the unique software challenges of integrating high-level applications into state-of-the-art neutral-atom quantum computers. You will have the opportunity to work with a vibrant scientific software team and a community of industry and academic collaborators and to help our growing team of diverse experts address fascinating challenges, ranging from classical compiler techniques to direct integration with low-level hardware components. Using our open-source toolchain, Kirin, you will be building QuEra’s compiler pipeline together with experimental & computational physicists from low-level hardware instructions to high-level programming languages. This involves the development of new features and infrastructure for hardware execution. You will be co-designing compilers and hardware infrastructure for the next generation of quantum computing using cutting-edge neutral-atom and quantum error correction technologies. This new direction involves multiple new challenges in both engineering and science. This Japan-based role also includes maintenance and updates of the internal execution software pipeline for the Gemini class machine deployed at AIST (ABCIQ). The primary audience for these tools and workflows is internal researchers and experimentalists, and the work is closely connected to hardware/control electronics and lab execution needs. Responsibilities • Develop and maintain domain-specific language (DSL) for pulse-level programs and its associated compilation stack • Support integration of pulse compilation into multiple quantum computer builds • Collaborate with Quantum Error Correction (QEC) scientists and hardware control team to plan and develop hardware features required for executing QEC algorithms • Collaborate with other members of the scientific software team to integrate gate-level and atom-move compilation • Maintain and update the internal execution software pipeline for the Gemini class machine deployed in AIST (ABCIQ), ensuring compatibility with evolving hardware/control capabilities and internal research workflows Qualifications • Masters in Computer Science with focus on quantum computation/architecture/programming language/compiler, or equivalent professional experience • Enthusiastic about building tools used by non-software developers • Experience with Python semantics, Python type hints, CPython interpreter • Experience with modern C++ projects and tooling around those projects • Experience with Static Single Assignment intermediate representations-based compiler • Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation • Business-level proficiency in Japanese and English (spoken and written) for technical collaboration with Japan-based stakeholders and QuEra’s global teams Preferred Qualifications • Ph.D. in Computer Science with focus on quantum computation/architecture/programming language/compiler, or equivalent professional experience • Experience with FPGA programming • knowledge in quantum physics and AMO physics • Experience in programming language design, especially programming language theory • knowledge in quantum error correction • Contribution to existing open-source libraries 科学ソフトウェアエンジニア - ハードウェアコンパイル（日本） 職務内容 QuEra Computing, Inc.では、最先端の中性原子量子コンピュータへの高レベルアプリケーションの統合という独自のソフトウェア課題の解決を支援する、創造性と協調性を兼ね備えた科学ソフトウェアエンジニアを募集しています。活気ある科学ソフトウェアチームや産学の協力者コミュニティと共に働き、古典的なコンパイラ技術から低レベルハードウェアコンポーネントとの直接統合に至るまで、多様な専門家からなる成長中のチームが取り組む魅力的な課題の解決に貢献する機会を得られます。当社のオープンソースツールチェーン「Kirin」を活用し、実験物理学者や計算物理学者と共に、低レベルのハードウェア命令から高レベルのプログラミング言語に至るまで、QuEraのコンパイラパイプラインを構築していただきます。これには、ハードウェア実行のための新機能やインフラの開発が含まれます。最先端の中性原子技術や量子エラー訂正技術を用いて、次世代量子コンピューティングのためのコンパイラおよびハードウェアインフラを共同設計していただきます。この新たな方向性には、工学と科学の両面で数多くの新たな課題が伴います。 この日本拠点での役割には、産業技術総合研究所（AIST）に配備されたGeminiクラスのマシン（ABCI-Q）向けの内部実行ソフトウェアパイプラインの保守および更新も含まれます。これらのツールやワークフローの主な利用者は内部の研究者や実験担当者であり、業務はハードウェア／制御電子機器や実験室での実行要件と密接に関連しています。 職務内容 • パルスレベルプログラム用のドメイン特化言語（DSL）および関連するコンパイルスタックの開発・保守 • 複数の量子コンピュータ構築へのパルスコンパイルの統合を支援 • 量子エラー訂正（QEC）の科学者やハードウェア制御チームと協力し、QECアルゴリズムの実行に必要なハードウェア機能の計画・開発を行う • 科学ソフトウェアチームの他のメンバーと協力し、ゲートレベルおよび原子移動のコンパイルを統合する • 産業技術総合研究所（AIST）に配備されたGeminiクラスマシン（ABCI-Q）向けの内部実行ソフトウェアパイプラインを維持・更新し、進化するハードウェア／制御機能および内部の研究ワークフローとの互換性を確保する 応募資格 • 量子計算／アーキテクチャ／プログラミング言語／コンパイラを専門とするコンピュータサイエンスの修士号、または同等の実務経験 • ソフトウェア開発者以外が使用するツールの構築に熱意があること • Pythonのセマンティクス、Pythonの型ヒント、CPythonインタプリタに関する経験 • 最新のC++プロジェクトおよびそれらに関連するツールに関する経験 • 静的単一代入（SSA）中間表現ベースのコンパイラに関する経験 • バージョン管理、コードレビュー、テスト、CI/CD、ロギング、プロファイリング、デバッグ、ドキュメント作成を含む、ソフトウェア開発の全ライフサイクルに関する知識 • 日本国内のステークホルダーおよびQuEraのグローバルチームとの技術的な連携を行うための、日本語および英語（会話・文章）におけるビジネスレベルの習熟度 望ましい資格 • 量子計算/アーキテクチャ/プログラミング言語/コンパイラを専門とするコンピュータサイエンスの博士号、または同等の実務経験 • FPGA プログラミングの経験 • 量子物理学および AMO 物理学の知識 • プログラミング言語の設計、特にプログラミング言語理論の経験 • 量子エラー訂正の知識 • 既存のオープンソースライブラリへの貢献