2件のstack technicalのおすすめの求人

Scientific Software Engineer - Hardware Compilation
QuEra Computing, Inc. —つくば市
- コンピュータサイエンス知識
- 博士号
- 英語
IT Business Analyst
リーチェクスト株式会社 —港区神谷町駅
- CRMソフトウェア
- 営業経験
- Salesforce
クイック応募
14日前

More jobs to discover

Find similar jobs that you might be interested in.

Financial Management Program Analyst
GPTech —福生市横田飛行場
GPTech is seeking a Financial Management Program Analyst to provide part-time financial advisory and administrative support to Space Forces – Japan (SFJ) at…
クイック応募
1日前
Business Analyst (Japan IT)
Magna International —横浜市新横浜
That’s what we’re passionate about at Magna Electronics, and we do it by creating world-class Electronic systems. 本ポジションは以下を担当します: 業務部門とのエンゲージメントを推進する.
クイック応募

Show more similar jobs

stack technicalの新着求人をメールで受け取る

アカウントにログインすることにより、SimplyHired本サイトの利用規約、Cookieポリシーおよびプライバシー規約に同意します。

その他の勤務地の求人

stack technical jobs near

茨城県つくば市でのエンジニアの求人

東京都板橋区志村三丁目駅でのエンジニアの求人

大阪府大阪市での情報システム部エンジニアの求人

鹿児島県鹿児島市水族館口駅でのエンジニア未経験在宅リモートワークの求人

東京都での外資系金融ビジネスアナリストの求人

関西でのビジネスアナリストの求人

東京都でのBusiness Analyst ビジネスアナリストの求人

福岡県福岡市でのビジネスアナリストの求人

Scientific Software Engineer - Hardware Compilation

QuEra Computing, Inc.
つくば市

今すぐ応募する

求人の詳細

資格とスキル

コンピュータサイエンス知識
博士号
英語
日本語
修士号
C++
ビジネス英語
ソフトウェア開発
テストケース作成
Python

仕事内容の詳細

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 物理学の知識

プログラミング言語の設計、特にプログラミング言語理論の経験

量子エラー訂正の知識

既存のオープンソースライブラリへの貢献

今すぐ応募する

検索を絞り込む

stack technical 件

Scientific Software Engineer - Hardware Compilation

IT Business Analyst

More jobs to discover

stack technicalの新着求人をメールで受け取る

その他の勤務地の求人

求職者向けツール

採用企業向けツール

求人を探す

Indeed とつながる