Scientific Software Engineer - Hardware Compilation at QuEra Computing Inc.
Tsukuba, JapanFull-timeScientific Software and CompilationPosted about 2 months ago
Apply with PipelineAbout the Role
<p><strong>Summary</strong></p>
<p><span data-contrast="auto">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.</span><span data-ccp-props="{}"> </span></p>
<p><span data-contrast="auto">This Japan-based role also includes </span><strong><span data-contrast="auto">maintenance and updates of the internal execution software pipeline</span></strong><span data-contrast="auto"> for the </span><strong><span data-contrast="auto">Gemini class</span></strong><span data-contrast="auto"> machine deployed at </span><strong><span data-contrast="auto">AIST</span></strong><span data-contrast="auto"> (ABCIQ). The primary audience for these tools and workflows is </span><strong><span data-contrast="auto">internal researchers and experimentalists</span></strong><span data-contrast="auto">, and the work is closely connected to hardware/control electronics and lab execution needs.</span><span data-ccp-props="{}"> </span></p>
<p><strong>Responsibilities</strong></p>
<ul>
<li>Develop and maintain domain-specific language (DSL) for pulse-level programs and its associated compilation stack </li>
<li>Support integration of pulse compilation into multiple quantum computer builds </li>
<li>Collaborate with Quantum Error Correction (QEC) scientists and hardware control team to plan and develop hardware features required for executing QEC algorithms </li>
<li>Collaborate with other members of the scientific software team to integrate gate-level and atom-move compilation </li>
<li>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 </li>
</ul>
<p><strong>Qualifications</strong></p>
<ul>
<li>Masters in Computer Science with focus on quantum computation/architecture/programming language/compiler, or equivalent professional experience </li>
<li>Enthusiastic about building tools used by non-software developers </li>
<li>Experience with Python semantics, Python type hints, CPython interpreter </li>
<li>Experience with modern C++ projects and tooling around those projects </li>
<li>Experience with Static Single Assignment intermediate representations-based compiler </li>
<li>Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation </li>
<li>Business-level proficiency in Japanese and English (spoken and written) for technical collaboration with Japan-based stakeholders and QuEra’s global teams </li>
</ul>
<p><strong>Preferred Qualifications</strong></p>
<ul>
<li>Ph.D. in Computer Science with focus on quantum computation/architecture/programming language/compiler, or equivalent professional experience </li>
<li>Experience with FPGA programming </li>
<li>knowledge in quantum physics and AMO physics </li>
<li>Experience in programming language design, especially programming language theory </li>
<li>knowledge in quantum error correction </li>
<li>Contribution to existing open-source libraries </li>
</ul>
<p> </p>
<p><strong><span data-contrast="auto">科学ソフトウェアエンジニア</span></strong><strong><span data-contrast="auto"> - </span></strong><strong><span data-contrast="auto">ハードウェアコンパイル（日本）</span></strong><span data-ccp-props="{}"> </span></p>
<p><strong><span data-contrast="auto">職務内容</span></strong><span data-ccp-props="{}"> </span></p>
<p><span data-contrast="auto">QuEra Computing, Inc.</span><span data-contrast="auto">では、最先端の中性原子量子コンピュータへの高レベルアプリケーションの統合という独自のソフトウェア課題の解決を支援する、創造性と協調性を兼ね備えた科学ソフトウェアエンジニアを募集しています。活気ある科学ソフトウェアチームや産学の協力者コミュニティと共に働き、古典的なコンパイラ技術から低レベルハードウェアコンポーネントとの直接統合に至るまで、多様な専門家からなる成長中のチームが取り組む魅力的な課題の解決に貢献する機会を得られます。当社のオープンソースツールチェーン「</span><span data-contrast="auto">Kirin</span><span data-contrast="auto">」を活用し、実験物理学者や計算物理学者と共に、低レベルのハードウェア命令から高レベルのプログラミング言語に至るまで、</span><span data-contrast="auto">QuEra</span><span data-contrast="auto">のコンパイラパイプラインを構築していただきます。これには、ハードウェア実行のための新機能やインフラの開発が含まれます。最先端の中性原子技術や量子エラー訂正技術を用いて、次世代量子コンピューティングのためのコンパイラおよびハードウェアインフラを共同設計していただきます。この新たな方向性には、工学と科学の両面で数多くの新たな課題が伴います。</span><span data-ccp-props="{}"> </span></p>
<p><span data-contrast="auto">この日本拠点での役割には、</span><strong><span data-contrast="auto">産業技術総合研究所（</span></strong><strong><span data-contrast="auto">AIST</span></strong><strong><span data-contrast="auto">）</span></strong><span data-contrast="auto">に配備された</span><strong><span data-contrast="auto">Gemini</span></strong><strong><span data-contrast="auto">クラス</span></strong><span data-contrast="auto">のマシン（</span><span data-contrast="auto">ABCI-Q</span><span data-contrast="auto">）向けの</span><strong><span data-contrast="auto">内部実行ソフトウェアパイプラインの保守および更新</span></strong><span data-contrast="auto">も含まれます。これらのツールやワークフローの主な利用者は</span><strong><span data-contrast="auto">内部の研究者や実験担当者</span></strong><span data-contrast="auto">であり、業務はハードウェア／制御電子機器や実験室での実行要件と密接に関連しています。</span><span data-ccp-props="{}"> </span></p>
<p><strong><span data-contrast="auto">職務内容</span></strong><span data-ccp-props="{}"> </span></p>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="1" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="1" data-aria-level="1"><span data-contrast="auto">パルスレベルプログラム用のドメイン特化言語（</span><span data-contrast="auto">DSL</span><span data-contrast="auto">）および関連するコンパイルスタックの開発・保守</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="1" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="2" data-aria-level="1"><span data-contrast="auto">複数の量子コンピュータ構築へのパルスコンパイルの統合を支援</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="1" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="3" data-aria-level="1"><span data-contrast="auto">量子エラー訂正（</span><span data-contrast="auto">QEC</span><span data-contrast="auto">）の科学者やハードウェア制御チームと協力し、</span><span data-contrast="auto">QEC</span><span data-contrast="auto">アルゴリズムの実行に必要なハードウェア機能の計画・開発を行う</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="1" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="4" data-aria-level="1"><span data-contrast="auto">科学ソフトウェアチームの他のメンバーと協力し、ゲートレベルおよび原子移動のコンパイルを統合する</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="1" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="5" data-aria-level="1"><span data-contrast="auto">産業技術総合研究所（</span><span data-contrast="auto">AIST</span><span data-contrast="auto">）に配備された</span><span data-contrast="auto">Gemini</span><span data-contrast="auto">クラスマシン（</span><span data-contrast="auto">ABCI-Q</span><span data-contrast="auto">）向けの内部実行ソフトウェアパイプラインを維持・更新し、進化するハードウェア／制御機能および内部の研究ワークフローとの互換性を確保する</span><span data-ccp-props="{}"> </span></li>
</ul>
<p><strong><span data-contrast="auto">応募資格</span></strong><span data-ccp-props="{}"> </span></p>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="2" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="1" data-aria-level="1"><span data-contrast="auto">量子計算／アーキテクチャ／プログラミング言語／コンパイラを専門とするコンピュータサイエンスの修士号、または同等の実務経験</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="2" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="2" data-aria-level="1"><span data-contrast="auto">ソフトウェア開発者以外が使用するツールの構築に熱意があること</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="2" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="3" data-aria-level="1"><span data-contrast="auto">Python</span><span data-contrast="auto">のセマンティクス、</span><span data-contrast="auto">Python</span><span data-contrast="auto">の型ヒント、</span><span data-contrast="auto">CPython</span><span data-contrast="auto">インタプリタに関する経験</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="2" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="4" data-aria-level="1"><span data-contrast="auto">最新の</span><span data-contrast="auto">C++</span><span data-contrast="auto">プロジェクトおよびそれらに関連するツールに関する経験</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="2" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="5" data-aria-level="1"><span data-contrast="auto">静的単一代入（</span><span data-contrast="auto">SSA</span><span data-contrast="auto">）中間表現ベースのコンパイラに関する経験</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="2" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="6" data-aria-level="1"><span data-contrast="auto">バージョン管理、コードレビュー、テスト、</span><span data-contrast="auto">CI/CD</span><span data-contrast="auto">、ロギング、プロファイリング、デバッグ、ドキュメント作成を含む、ソフトウェア開発の全ライフサイクルに関する知識</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="2" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="7" data-aria-level="1"><span data-contrast="auto">日本国内のステークホルダーおよび</span><span data-contrast="auto">QuEra</span><span data-contrast="auto">のグローバルチームとの技術的な連携を行うための、</span><strong><span data-contrast="auto">日本語および英語</span></strong><span data-contrast="auto">（会話・文章）におけるビジネスレベルの習熟度</span><span data-ccp-props="{}"> </span></li>
</ul>
<p><strong><span data-contrast="auto">望ましい資格</span></strong><span data-ccp-props="{}"> </span></p>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="3" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="1" data-aria-level="1"><span data-contrast="auto">量子計算</span><span data-contrast="auto">/</span><span data-contrast="auto">アーキテクチャ</span><span data-contrast="auto">/</span><span data-contrast="auto">プログラミング言語</span><span data-contrast="auto">/</span><span data-contrast="auto">コンパイラを専門とするコンピュータサイエンスの博士号、または同等の実務経験</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="3" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="2" data-aria-level="1"><span data-contrast="auto">FPGA </span><span data-contrast="auto">プログラミングの経験</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="3" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="3" data-aria-level="1"><span data-contrast="auto">量子物理学および</span><span data-contrast="auto"> AMO </span><span data-contrast="auto">物理学の知識</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="3" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="4" data-aria-level="1"><span data-contrast="auto">プログラミング言語の設計、特にプログラミング言語理論の経験</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="3" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="5" data-aria-level="1"><span data-contrast="auto">量子エラー訂正の知識</span><span data-ccp-props="{}"> </span></li>
</ul>
<ul>
<li data-leveltext="" data-font="Symbol" data-listid="3" data-list-defn-props="{"335552541":1,"335559685":720,"335559991":360,"469769226":"Symbol","469769242":[8226],"469777803":"left","469777804":"","469777815":"multilevel"}" data-aria-posinset="6" data-aria-level="1"><span data-contrast="auto">既存のオープンソースライブラリへの貢献</span><span data-ccp-props="{}"> </span></li>
</ul>
<p> </p>
Related Roles
Scientific Software Engineer — Emulation & Application
QuEra Computing Inc.
Boston, MA, USAScientific Software Engineer - Shuttle Compilation
QuEra Computing Inc.
Tsukuba, JapanScientific Software Engineer - Compiler
QuEra Computing Inc.
Tsukuba, JapanScientific Software Engineer
QuEra Computing Inc.
Toronto, Ontario, CanadaScientific Software Engineer- Shuttle Compilation
QuEra Computing Inc.
Boston, MA USAScientific Software Engineer - Virtual Machine & Emulation
QuEra Computing Inc.
Boston, MA USA