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

• Ph.D. in Computer Science, Physics, Applied Mathematics, or a related field, or equivalent professional experience. • Strong software engineering skills in Python (type hints, testing, packaging, tooling), and comfort working across a scientific codebase. • Python • Experience with at least one of: optimization, graph algorithms, routing/scheduling, path planning, or related algorithmic areas. • optimization • graph algorithms • routing/scheduling • path planning • Ability to collaborate effectively across disciplines (software, AMO/experimental physics, hardware/control, applications). • Fluent in Japanese and English for technical communication with customers and the global team. • Fluent in Japanese and English • Demonstrable experience contributing to open-source projects on GitHub (PRs, reviews, issue-driven development). • open-source projects on GitHub • Background in AMO physics and/or neutral-atom quantum computing concepts relevant to shuttling and gate-model execution. • AMO physics • Experience with compiler infrastructure (IR design, SSA-based approaches, LLVM/MLIR-style concepts) or DSL/eDSL development. • compiler infrastructure • Experience with Rust in addition to Python. • Familiarity with quantum error correction workflows and hardware/software co-design in hybrid quantum-classical settings. • quantum error correction • 科学ソフトウェアエンジニア - シャトルコンパイル（日本） • 科学ソフトウェアエンジニア • シャトルコンパイル（日本） • QuEra Computing, Inc.では、最先端の中性原子量子コンピュータへの高レベルアプリケーションの統合という独自のソフトウェア課題の解決を支援する、創造性と協調性を兼ね備えた科学ソフトウェアエンジニアを募集しています。活気ある科学ソフトウェアチームや、産学の協力者コミュニティと共に働き、古典的なコンパイラ技術から低レベルハードウェアコンポーネントとの直接統合に至るまで、多様な専門家からなる成長中のチームが取り組む魅力的な課題の解決に貢献する機会を得られます。当社のオープンソースツールチェーン「Kirin」を活用し、実験物理学者や計算物理学者と共に、低レベルのハードウェア命令から高レベルのプログラミング言語に至るまで、QuEraのコンパイラパイプラインを構築していただきます。これには、ハードウェア実行のための新機能やインフラの開発が含まれます。最先端の中性原子技術や量子エラー訂正技術を用いて、次世代量子コンピューティングのためのコンパイラおよびハードウェアインフラを共同設計していただきます。この新たな方向性は、工学と科学の両面で斬新な課題をもたらします。 • 日本を拠点とするこの役割では、移動／シャトル対応のコンパイルおよび最適化に注力し、産業技術総合研究所（AIST）のABCI-Qハイブリッド量子・古典計算環境に統合されたQuEraのGeminiクラス中性原子システムのユーザー支援を行います。 • 移動／シャトル対応のコンパイルおよび最適化 • ABCI-Q • Gemini • 原子シャトル／移動対応コンパイルのためのコンパイラコンポーネントおよびAPIを開発・保守し、Bloqade ShuttleおよびBloqade Lanesに直接貢献します。 • 原子シャトル／移動対応コンパイル • Bloqade Shuttle • Bloqade Lanes • シャトルワークフローに関連する最適化手法（例：ルーティング／スケジューリング／プランニングのヒューリスティック、制約を考慮した変換、コストモデル主導のコンパイル決定）を実装し、改善します。 • 最適化手法 • 科学者やハードウェア／制御チームと協力し、実験上の制約を堅牢なコンパイラ抽象化および実行可能な命令ストリーム（シャトルや関連する低レベル機能を含む）に変換します。 • 日本国内の顧客および協力者へのサポートを提供します。これには、課題の優先順位付け、バグの再現、修正の提供、およびABCI-Q / AIST展開における統合・運用サポートが含まれます。 • 日本国内の顧客および協力者へのサポート • ABCI-Q / AIST • 公開リポジトリにおいて、コードレビュー、CI/テスト、リリース管理、そして慎重なAPIの進化といった、堅実なエンジニアリングプラクティスを維持します。 • コンピュータサイエンス、物理学、応用数学、または関連分野の修士号、あるいは同等の実務経験。 • Python（型ヒント、テスト、パッケージング、ツール）における強力なソフトウェアエンジニアリングスキル、および科学分野のコードベースでの作業に慣れていること。 • Python • 最適化、グラフアルゴリズム、ルーティング／スケジューリング、経路計画、または関連するアルゴリズム分野のいずれか1つ以上の経験。 • グラフアルゴリズム • ルーティング／スケジューリング • 分野（ソフトウェア、AMO／実験物理学、ハードウェア／制御、アプリケーション）を越えて効果的に協働できる能力。 • 顧客やグローバルチームとの技術的なコミュニケーションのために、日本語と英語に堪能であること。 • 日本語と英語に堪能 • GitHub上のオープンソースプロジェクトへの貢献実績（プルリクエスト、レビュー、イシュー駆動型開発）。 • GitHub • 上のオープンソースプロジェクト • 歓迎する資格 • AMO物理学および／またはシャトル法やゲートモデル実行に関連する中性原子量子コンピューティングの概念に関する知識。 • コンパイラインフラストラクチャ（IR設計、SSAベースのアプローチ、LLVM/MLIRスタイルの概念）またはDSL/eDSL開発の経験。 • コンパイラインフラストラクチャ • Pythonに加え、Rustの経験。 • 量子エラー訂正のワークフロー、およびハイブリッド量子・古典環境におけるハードウェア／ソフトウェアの共同設計に精通していること。 • 量子エラー訂正