1204_Software (Hack|Engine|Research)er (System Software Team)

【背景】 System Software Teamでは、ミドルウェア、オペレーティングシステムの研究開発及び、自動運転アルゴリズムの高速化など、自動運転システムを支えるソフトウェア技術に関する研究開発を行っています。本チームでは、システムソフトウェアの開発と最先端技術の研究を両輪で進めています。開発と研究の両方に興味がある方はぜひご応募ください。 勤務形態は、基本的にリモートワークと出社のハイブリッド形式となります。日常的な業務では、リモートワークと出社を個人の裁量で選択可能です。チームで毎月行うセミナーや、不定期で行われるハンズオンやワークショップを行う際は出社していただきます。フルリモートワークではありませんのでご了承ください。 コンピューターサイエンスのすべての分野に精通している必要はありませんが、これなら他人には負けないという得意分野があるのが望ましいです。ただし、プログラミングとドキュメンテーション能力は必須となります。 【仕事内容】 具体的には、以下のような業務を現在実施しています。 Autowareのパフォーマンスチューニング ロボット用ミドルウェアの研究開発（ROS 2, DDSなど） Linuxカーネルの開発・実験・評価 Rust言語を用いた自動運転用オペレーティングシステムの研究開発 リスク評価などを含めた、サイバーセキュリティに関する研究開発 低レイヤから高レイヤまでを対象とした形式検証の実応用 リアルタイムスケジューラの研究開発 【チャレンジ・やりがい】 本チームの対外的な発表物・オープンソースソフトウェアは以下となります。これ以外にも、現在研究開発中のものもありますので、カジュアル面談などでお尋ねください。 Ryuta Kambe, UPPAALによるAutowareの形式検証 https://www.docswell.com/s/TIER_IV/58GGW1-2023-03-22-153347 Takahiro Ishikawa, Autowareにおけるリソース競合の定量化 https://www.docswell.com/s/TIER_IV/K3887E-2023-03-22-153508 Atsushi Yano, et al., RD-Gen: Random DAG Generator Considering Multi-rate Applications for Reproducible Scheduling Evaluation, IEEE ISORC 2023 safe_drive: Formally Specified Rust Bindings for ROS2 https://github.com/tier4/safe_drive heaphook https://github.com/tier4/heaphook 本チームでは、業務と関係のある分野の博士号取得を積極的にサポートしており、弊社では博士号取得にかかる費用の一部を補助しています。社会人博士進学に興味のある方のご応募もお待ちしております。 ・雇入れ直後： 本求人に記載のある業務 ・変更の範囲： 上記に加え、会社が指定した業務

・コンピュータサイエンスに関する博士・修士の学位。またはそれに準ずる能力 ・オペレーティングシステムなど、低レイヤソフトウェアに関する知識・経験 ・英語論文を読み書きできる能力 ・C/C++/Rust/アセンブリなどのプログラミング能力 ・ドキュメンテーション能力

・サイバーセキュリティに関する研究開発能力 ・モデル検査や型システムなど、形式手法に関する研究開発能力 ・リアルタイムOS、マイクロカーネル、ユニカーネルなど、オペレーティングシステムに関する研究開発能力 ・Linuxカーネルの開発および実験・評価の経験 ・CTF経験者