職種でみる
暗号研究者(格子/楕円曲線)
代数構造で安全性証明
はたらきの中身
- ドメイン
- 暗号・セキュリティ
- 主要ツール
- SageMath(数式処理)・Magma(代数計算)・OpenSSL(暗号実装)・Rust/C(実装)・SAT/SMTソルバ(形式検証)
- 利用シーン
- 暗号方式設計・安全性証明・実装/プロトコル検証
- 利用場所
- 研究機関・セキュリティ企業・リモート
- アプリの種
- 暗号方式設計アプリ・安全性証明支援アプリ・形式検証アプリ・鍵管理アプリ
市場と規模
- 市場規模（日本）
- 数百億〜数千億円
- 市場規模（世界）
- 数千億〜数兆円
- 想定人数（日本）
- 数百〜数千人
- 想定人数（世界）
- 数万〜数十万人
- ニッチ度
- 5.0
- 収益性
- 4.0
AIとの関係
- AI依存度
- 5年30% / 10年40% / 30年50% / 50年55% / 100年65%
- AI依存の理由
- 計算・探索・実装はAIへ急速委譲されるが、問題の定式化・前提設定・新規理論の核は人が保持。長期も完全代替には至りにくい。 希少・高度専門のため担い手は少なく、完全自動化の投資対効果が働きにくい。
- 推奨AI
- 形式手法＋推論特化LLM: SMTソルバ＋DeepSeek-R1/o系推論モデル
- 実現可能性
- 中
- 関連開発候補
- 暗号設計/形式検証
資格・リスク
- 資格（日本）
- 不要(規制なし)
- 資格（世界）
- 概ね不要(国により異なる)
- 法的・倫理リスク
- 人命・安全に関わる誤作動の責任、安全規制・認証への適合。
この職種で使えるアプリ
この職種のアプリは準備中です。
ブログ
記事は準備中です。