本ポジションでは、当社で開発・運用している衛星管制システムの開発チームに参加していただける方を募集します。 管制システムの詳細については、当社テックブログの以下の記事をご覧ください。 ・衛星管制システムとは何か: https://blog.arkedge.space/entry/2025/01/17/080000 ・衛星運用の実際と、効率化のために型システムを実装した話: https://blog.arkedge.space/entry/2025/04/24/080000 2025年12月現在このシステムでは数機〜10機程度の衛星が運用されていますが、今後も衛星の打ち上げに伴ってシステムが扱う衛星の数は増えていくことが予定されており、運用業務のコストも高まると見込まれています。 衛星管制システムの開発チームは「衛星が100機、地上局が10局になっても人手を増やすことなく運用できる」ことを目標として、運用の省力化・自動化を推進するべく開発に取り組んでいます。 【業務内容】 主な業務内容は ・衛星管制システムおよび関連するソフトウェアの設計・開発・運用 ・開発した衛星管制システムを用いた実際の衛星運用 となります。 当社の衛星管制システムは主に一般的なWeb技術（React、gRPC等）を用いて開発されていますが、システムを構成する技術は「Web技術」の枠組みに収まるものではありません。 衛星管制システムの基盤となる技術には、以下のようなものが含まれます。 ・衛星の軌道情報に基づいた地上局予約管理システム ・アンテナ等の地上設備の制御プログラム ・衛星との通信プロトコルの実装（メッセージのエンコード・デコード、誤り訂正、再送制御等） ・衛星送出するテレメトリや利用可能なコマンドのスキーマ情報としての記述 ・衛星のテレメトリ・コマンドスキーマ情報を記述したファイルを用いた高級言語(Rust)の型定義ファイルの自動生成 ・衛星との通信中の作業手順を記述し半自動化するためのスクリプト記述DSL ・衛星のテレメトリ・コマンドスキーマ情報を記述したファイルを用いたスクリプト記述DSLの型検査 また、開発チームの大きな目標である衛星運用の省力化・自動化において取り組むべき課題の例として ・複数の衛星へのタスク分配の自動化 ・地上局の通信時間の割り当ての自動化 ・衛星に送信するコマンドの自動決定 ・受信したテレメトリに基づく衛星の状態監視・異常検出 などが挙げられます。 相互に関係するこれらの課題を解決し少ない人的コストで扱えるシステムを実現するための技術的要素として ・衛星もしくは複数衛星のコンステレーションに対する指示を記述をするための構造やフォーマットの開発 ・バッテリー残量のシミュレーション等による成立性の検証 ・衛星に対する指示や成立性の検証結果を考慮したスケジューリングアルゴリズムの開発 などが検討されています。 衛星運用システムの開発にあたっては、適切なモデル化を行い、合理的で使いやすいインターフェースを定義し、効率的なアルゴリズムを設計することが重要であると考えています。そのためには衛星運用のドメイン知識のみならず計算機科学や関連する諸分野の知識とソフトウェア的課題解決能力を備えたチームが協力することが不可欠であり、その一員となっていただけるメンバーを募集しています。 【使用ツール】 ・開発環境: macOS or Linux (WSL含む) ・AIコーディングエージェント: Claude Code、GitHub Copilot、Devin、Codex ・プログラミング言語: Rust, TypeScript ・フレームワーク: tonic, React Router ・サービス間通信: gRPC, WebSocket ・Infrastructure as Code: Terraform, ecspresso ・CI/CD: GitHub Actions ・コンテナ実行基盤: Amazon ECS, AWS Fargate, Amazon ECS Anywhere ・データベース: Amazon Aurora Serverless v2 (PostgreSQL), InfluxDB, Amazon DynamoDB ・モニタリング: Amazon CloudWatch, Sentry, Grafana ・コミュニケーション: GitHub, Slack, Zoom ・タスク管理: GitHub Projects 【配属・カルチャー】 ソフトウェア基盤部。地上システムの開発チームは、2025年12月現在5人からなるスクラムチームです。 当社のエンジニアリングの取り組みについては、テックブログ https://blog.arkedge.space/ をご覧ください。 【選考フロー】 コーディングテスト＞書類選考＞1次面接＞2次面接(+適性検査)＞最終面接

・計算機科学・情報工学および数学等の関連分野への興味をもち、新しい知識を取り込んで活用することに積極的であること ・計算機科学・情報工学や関連分野についての大学卒業程度の知識 ・多数の衛星を管制するシステムを作ることに対するモチベーション ・LinuxもしくはmacOSでのソフトウェア開発ができること 宇宙工学や人工衛星についての知識・経験は問いません。

・計算機科学・情報工学や関連分野についての修士程度以上の専門的知識 ・アルゴリズム・データ構造についての知識 ・OSやネットワークプロトコルについての知識 ・プログラミング言語処理系についての知識 ・スケジューリング、最適化問題についての知識 ・研究やプロダクト開発などにおいて、計算機科学や関連分野の知識を実際の課題の解決に活用した経験 ・「使用ツール」に挙げられた技術を用いた開発の経験 ・OSSへの貢献やコミュニティでの活動経験 ・第二級陸上特殊無線技士などの無線従事者資格 私たちはソフトウェアエンジニアとしての視点や新しい領域に飛び込む好奇心を重視しています。上記の項目はあくまでも一部の例であり、該当するかどうかに関わらず興味を刺激された方の応募を歓迎します。

・異なる分野の専門家も巻き込んで協調して業務の改善に取り組める方 ・計算機科学や関連分野の知識を活かした課題解決が得意な方 ・ソフトウェアに限らず、新しい技術を学ぶことが好きな方