株式会社ティアフォーの

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 本チームでは、業務と関係のある分野の博士号取得を積極的にサポートしており、弊社では博士号取得にかかる費用の一部を補助しています。社会人博士進学に興味のある方のご応募もお待ちしております。 ・雇入れ直後： 本求人に記載のある業務 ・変更の範囲： 上記に加え、会社が指定した業務