AI駆動開発エンジニア（R&D）

株式会社システムエグゼは、代表取締役社長執行役員・大場康次氏が率いる上場システムインテグレーター。本社は東京都中央区日本橋室町（OVOL日本橋ビル）。「ITで豊かな未来を創る」「その先の笑顔を、共に創る」を掲げ、常に顧客にとって「価値の最大化」となるシステムや製品・サービスを提供し、新たな価値の創造を通して社会へ貢献することを使命・存在意義とする。「上場はゴールではなく、新たな価値創造へのスタート」として「創進、進化、価値向上」を掲げ、グループビジョン2030のもと、顧客満足度向上（お客様の役に立つ）・社員満足度向上（社員自身の成長）・技術満足度向上（社会への貢献）を追求。人材育成に注力し人的資本の向上を通じて顧客や社会に価値を還元し、ビジネスパートナー・アライアンスパートナーと「ワンチーム」で成功を実現する。サイトのチェックマークは「やり抜く意思」と「二人三脚のパートナーシップ」を表す。

■仕事概要
大規模システム開発プロジェクトの増加に伴い、GitHub Codespacesを中心とした標準開発環境の展開、AI Agentが活用できる案件固有のSkill・コンテキストの整備、テスト・CI/CDの改善など開発基盤全体を推進するポジションです。各案件で得た知見を複数チームへ展開し、全社の開発生産性と品質向上に貢献します。

■仕事の詳細

• ソフトウェアアーキテクトが定めるシステム構造、責務境界、ビルド戦略を前提とした開発プロセスの課題整理
• GitHub Codespaces／Dev Containersを用いた、メンバーが即時利用できる再現可能な開発環境の設計・展開
• devcontainer.json、Dockerfile／Features、拡張機能、セットアップスクリプト、環境変数、Secrets・権限の整備と保守
• 案件固有の業務知識、用語、設計ルール、コーディング規約、開発・テスト手順、ツール利用方法のAI Agent向けSkill／Instructionsとしての整備
• 生成AI／コーディングAgentを利用した実装、レビュー、テスト、文書作成の改善
• 単体／結合／E2Eテスト、静的解析、品質ゲート、GitHub Actions Workflowの自動化・改善
• 新規参画者へのオンボーディング、環境・Skillの利用支援、フィードバックを反映した継続改善
• 小規模なPoC、効果測定、実案件への段階導入と複数チームへの展開

【開発環境】

• 開発環境：GitHub Codespaces、Dev Containers、Docker、devcontainer.json
• GitHub：GitHub Actions、Secrets、権限、CODEOWNERS、ブランチ保護
• AI活用：生成AI／コーディングAgent、案件固有Skill／Instructions、コンテキスト整備
• 品質：単体／結合／E2Eテスト、静的解析、品質ゲート
• 開発言語：Java／C#／Python／TypeScript等

【キャリアパス】
入社後はCodespaces環境と案件固有Skillの整備・展開を担当。その後、複数案件の開発環境・Agent活用を標準化する開発基盤エンジニアや、AI駆動開発を横断支援するテックリードを目指せます。

【必須】

• 業務システムの開発経験5年以上
• Gitを利用したチーム開発、コードレビューの経験
• Docker、Dev Containers、GitHub Codespaces等を用いた再現可能な開発環境の構築・展開経験
• GitHub Actions等を用いたCI/CD、テスト自動化、静的解析、ビルド改善のいずれかの経験
• 生成AI／コーディングAgentを実開発で利用した経験
• 業務知識、開発ルール、コマンド、テスト手順等を文書・設定・テンプレートとして整理した経験

【歓迎】

• 形式手法の目的と適用場面を理解していること
• TLA+による仕様記述、TLCによるモデル検査の考え方を理解していること
• 状態遷移、並行処理、分散処理、リトライ、排他制御等の不具合をモデル化して検証した経験
• PlusCal、Alloy、Property-Based Testing、状態遷移テスト等の関連手法の知識・実践経験
• 形式手法を一律に適用せず、リスク、状態空間、検証コストから適用範囲を判断できること
• Codex CLIやClaude Codeの利用経験

※TLA+／TLCの実案件での利用経験は歓迎しますが、必須ではありません。

【ソフト面（歓迎）】
自発的に行動できる方
コミュニケーションがとれる方