【フルリモート／週5／Java】メインフレームの絶対支配を終わらせる。1円の誤差も許されない「絶対的真理」を刻み込む、世界標準の分散型コアバンキング・アーキテクト

お任せしたいこと

［役割］バックエンドエンジニアとして、数十年にわたり金融業界を支配してきた「巨大なメインフレーム（COBOL等のレガシーシステム）」を完全にリプレイスし、クラウドネイティブ環境下で絶対的なデータの一貫性と堅牢性を担保する「次世代グローバル・コアバンキング基盤（分散元帳エンジン）」の設計・開発をお任せします。
［役割に対して求める成果］「銀行システムのダウンやデータ不整合は、国家経済の停止を意味する」という極限のプレッシャーの中、イベントソーシング（Event Sourcing）とCQRS（コマンドクエリ責務分離）を駆使した不変（Immutable）なアーキテクチャを構築すること。Java 21のポテンシャルを限界まで引き出し、秒間数万件の金融トランザクションを、一切のデッドロックやレースコンディションを起こすことなく、数学的な証明に等しいレベルの正確性で処理し続けるコアエンジンを実現すること。

具体的な業務内容

・Java 21を用いた、極めて高い堅牢性とスループットが求められるインメモリ型のコア元帳（Ledger）システムおよびトランザクション処理エンジンの詳細設計、実装、テスト
・LMAXアーキテクチャ（Disruptor）やChronicle Queueを活用した、シングルライター（単一書き込みスレッド）原則に基づくロックフリーな非同期並行処理の徹底と、RDBMSへの依存（悲観的ロックによるボトルネック）の完全な排除
・イベントソーシング・パターンによる「すべてのアカウントの残高履歴と状態変化」の追記型（Append-only）イベントストリームへの記録と、CQRSによる読み取り（Query）モデルへの超高速な非同期プロジェクションの実装
・Raft等の分散コンセンサスアルゴリズム（合意形成プロトコル）の概念を取り入れた、マルチリージョンでの障害発生時においてもデータロスト（Split-brain）を100%防ぐクラスタリング基盤の設計
・ドメイン駆動設計（DDD）に基づいた、複雑怪奇な金融業務ルール（マルチカレンシー計算、複式簿記、日次バッチ処理、法規制チェック）のピュアでテスト可能なJavaドメインモデルへの翻訳
・JVM（Java Virtual Machine）のディープなチューニング。オブジェクトのアロケーションを極限まで抑える「ゼロ・アロケーション」プログラミングの実践と、OSのページキャッシュやメモリバリアまでを意識したハードウェアレベルの最適化
・プロパティベーステスト（Property-based Testing）やJepsenテストを用いた、ネットワーク分断やノード障害などの極端なカオス環境下でも元帳が絶対に壊れないことを証明する厳格な自動検証パイプラインの構築

必須スキル・経験

・Javaを用いたミッションクリティカルなサーバーサイド開発・本番運用経験（4年以上）
・マルチスレッドプログラミング、メモリモデル、および分散システムの設計に関する極めて深い理解
・RDBMSのトランザクション分離レベル（ACID特性）や排他制御に関する深い知見
・Git/GitHubを用いたチーム開発およびPull Requestベースのコードレビュー経験

歓迎スキル・経験

・銀行のコアシステム（勘定系システム）、決済ネットワーク、または仮想通貨取引所のウォレット・元帳の開発経験
・イベントソーシング（Event Sourcing）、CQRS（コマンドクエリ責務分離）、DDD（ドメイン駆動設計）の実践経験
・LMAX Disruptor、Chronicle Software等の超低遅延・高スループット向けライブラリの利用経験
・Apache KafkaやEventStoreDBを利用した堅牢なイベントストリーム処理の設計経験
・RaftやPaxos等の分散コンセンサスアルゴリズムに関する専門知識
・C++やRust等、メモリ管理を直接行う低レイヤー言語でのシステムプログラミング経験

開発環境

言語・フレームワーク：Java 21, Spring Boot 3 (周辺サービス用)
コアアーキテクチャ：LMAX Architecture, Event Sourcing, CQRS, DDD
コアライブラリ：LMAX Disruptor, Chronicle Queue
インフラ・ミドルウェア：AWS (EC2 ベアメタル, EKS), Docker, Kubernetes, Apache Kafka, PostgreSQL (Read Model用)
CI/CD・テスト：GitHub, GitHub Actions, Datadog, Jepsen, jqwik (Property-based testing)
その他ツール：Figma, Jira, Confluence, Slack

開発チームについて

プロダクトマネージャー1名、金融アーキテクト（ドメインエキスパート）1名、テックリード1名、コアバックエンド（Java）エンジニア6名（今回募集枠含む）、SRE3名の体制です。「データの一貫性は偶然の産物であってはならない。設計によって保証されるべきである」という強烈な信念を持ち、コードの1行1行を数学の証明問題のようにレビューするカルチャーです。黒魔術的なフレームワークの挙動を嫌い、純粋なJavaのオブジェクト指向とアルゴリズムの力で世界で最も堅牢なシステムを組み上げる職人集団です。

求める人物像

・「1円でも計算が合わなければ、それは致命的なバグである」という金融システム特有の極限のプレッシャーに対し、恐怖ではなく、エンジニアとしての使命感と知的な挑戦心を抱ける方
・「データベースの機能に依存してロックをかける」という安易なアプローチを捨て、メモリ上のデータ構造とスレッドの設計によって本質的に競合を排除するアーキテクチャの探求を楽しめる方
・フルリモート環境下において、金融の専門家やインフラエンジニアなど他職種とも自発的かつ円滑にテキストや通話でコミュニケーションが取れる方

仕事の魅力

巨大なブラックボックスとして長年手付かずだった「勘定系システム（コアバンキング）」というIT業界最大の聖域を、モダンなJavaと分散アーキテクチャで根本から作り直す、歴史的な転換点に立ち会うことができます。世界中のどんなシステムよりも「絶対に壊れてはならない」という究極の非機能要件に挑む経験は、エンタープライズ領域において最も信頼され、枯渇している「分散システム・トップアーキテクト」としての圧倒的な市場価値をあなたにもたらします。

働き方

リモート環境

[フルリモート] フルリモートで働いていただけます（※金融機関向けのコアシステムという性質上、厳格なアクセス制御やゼロトラストネットワーク環境下での業務となります）。