QuEra Computing, Inc. - Scientific Software Engineer - Hardware Compilation

• 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 • 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）向けの内部実行ソフトウェアパイプラインの保守および更新も含まれます。これらのツールやワークフローの主な利用者は内部の研究者や実験担当者であり、業務はハードウェア／制御電子機器や実験室での実行要件と密接に関連しています。 • 産業技術総合研究所（ • Gemini • 内部実行ソフトウェアパイプラインの保守および更新 • 内部の研究者や実験担当者 • パルスレベルプログラム用のドメイン特化言語（DSL）および関連するコンパイルスタックの開発・保守 • 複数の量子コンピュータ構築へのパルスコンパイルの統合を支援 • 量子エラー訂正（QEC）の科学者やハードウェア制御チームと協力し、QECアルゴリズムの実行に必要なハードウェア機能の計画・開発を行う • 科学ソフトウェアチームの他のメンバーと協力し、ゲートレベルおよび原子移動のコンパイルを統合する • 産業技術総合研究所（AIST）に配備されたGeminiクラスマシン（ABCI-Q）向けの内部実行ソフトウェアパイプラインを維持・更新し、進化するハードウェア／制御機能および内部の研究ワークフローとの互換性を確保する • 量子計算／アーキテクチャ／プログラミング言語／コンパイラを専門とするコンピュータサイエンスの修士号、または同等の実務経験 • ソフトウェア開発者以外が使用するツールの構築に熱意があること • Pythonのセマンティクス、Pythonの型ヒント、CPythonインタプリタに関する経験 • 最新のC++プロジェクトおよびそれらに関連するツールに関する経験 • 静的単一代入（SSA）中間表現ベースのコンパイラに関する経験 • バージョン管理、コードレビュー、テスト、CI/CD、ロギング、プロファイリング、デバッグ、ドキュメント作成を含む、ソフトウェア開発の全ライフサイクルに関する知識 • 日本国内のステークホルダーおよびQuEraのグローバルチームとの技術的な連携を行うための、日本語および英語（会話・文章）におけるビジネスレベルの習熟度 • 日本語および英語 • 望ましい資格 • 量子計算/アーキテクチャ/プログラミング言語/コンパイラを専門とするコンピュータサイエンスの博士号、または同等の実務経験 • FPGA プログラミングの経験 • 量子物理学および AMO 物理学の知識 • プログラミング言語の設計、特にプログラミング言語理論の経験 • 既存のオープンソースライブラリへの貢献