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

本チームでは、業務と関係のある分野の博士号取得を積極的にサポートしており、弊社では博士号取得にかかる費用の一部を補助しています。社会人博士進学に興味のある方のご応募もお待ちしております。

・雇入れ直後： 本求人に記載のある業務
・変更の範囲： 上記に加え、会社が指定した業務

必須スキル

【背景】
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

本チームでは、業務と関係のある分野の博士号取得を積極的にサポートしており、弊社では博士号取得にかかる費用の一部を補助しています。社会人博士進学に興味のある方のご応募もお待ちしております。

・雇入れ直後： 本求人に記載のある業務
・変更の範囲： 上記に加え、会社が指定した業務

歓迎スキル

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

求める人物像

応募概要

給与

※ご経験により応相談

勤務地

（雇入れ直後）
東京都品川区北品川一丁目12-10 ジャコムビル及び労働者の自宅
（変更の範囲）
会社の定める場所（テレワークを行う場所を含む）

雇用形態

正社員

勤務体系

勤務時間：フレックスタイム制
（始業）午前6時00分　
（終業）午後10時00分
（所定労働時間）8時間/日

休日：完全週休二日制（土曜日・日曜日）、国民の祝祭日
　　　夏期休暇：3日（7月～9月の間で各自取得）
　　　※当年7月8月入社の場合を除く
　　　年末年始：6日 ※元日を含み会社カレンダーによる
　　　【年間休日120日以上】

試用期間

あり(2か月)

福利厚生

・社会保険完備(厚生年金、健康保険、雇用保険、労災保険)
・通勤手当支給（社内規定に準ずる）
・ライフサポート（育児休暇や介護休暇、時短勤務など）
・企業型確定拠出年金制度