[金融/リーダー/システムエンジニア]NTTデータG/年間休日実質140日以上

条件の近いおすすめ求人

• エージェント求人

  【農業IoTソリューション/リードエンジニア/帯広市】/45574

  700~1200万

  株式会社ファームノートホールディングス北海道帯広市

  【農業IoTソリューション/リードエンジニア/帯広市】/45574気になる

  もっと見る

  仕事内容

  AI を活用した開発・業務改善の仕組みをつくり、組織全体の実行力を高めて頂きます。 【具体的には】 ・AI / コーディングエージェントを活用した開発プロセスの設計、導入、改善 ・顧客現場や業務現場の理解に基づく、実用性の高い改善テーマの発見と優先順位付け ・LLM、RAG、エージェント、ワークフロー自動化などを活用した業務改善施策の企画・実装 ・エンジニア・非エンジニア双方に向けたハンズオン、ドキュメント、テンプレート、レビュー体制の整備 ・権限管理、データアクセス、監査ログ、レビュー、デプロイ、保守運用などを含むガードレールの構築 ・プロジェクト管理 ・スタッフ育成 ・顧客へ訪問しニーズ収集 【募集背景】 私たちは、酪農・畜産というリアルな現場に根ざしたプロダクトを開発しています。 現場には、紙・口頭・経験則・属人的な判断に支えられた業務が多く残っており、深い現場理解なしに価値ある変革は生まれません。 一方で、生成AI、LLM、コーディングエージェントの進化により、業務プロセスそのものをAI中心に再設計できる可能性が広がっています。 私たちは、AIを単なる機能追加や効率化ツールではなく、現場・社内業務・開発プロセスを変革する基盤として活用していきたいと考えています。 そのために、現場を理解し、AIを活用した業務プロセスを社内外で実践しながら、実現性・可用性・価値創造まで含めてエンジニアリングできる仲間を募集します。 【ミッション】 現場起点で業務プロセスを捉え直し、AIを活用した新しい業務・開発・顧客価値提供のあり方を、実際に動く仕組みとして実装することがミッションです。 AIツールを導入するだけでなく、業務の流れ、データ、権限、責任分解点、運用性を踏まえ、AIを中心としたプロセスを設計していただきます。 非エンジニアがAIを活用して社内業務ツールやユーザー向け簡易アプリを安全に開発・運用できる技術基盤やガードレールの構築も担います。 エンジニア、PdM、CS、BizDev、業務部門を横断し、AI活用を一過性のPoCで終わらせず、継続的にアウトカムを生む仕組みとして定着させることを期待しています。… ※これ以上の情報はエントリー後にご説明いたします。

  求める能力・経験

  ・Web アプリケーション開発経験（5 年以上） ・TypeScript、Python、Ruby などを用いたアプリケーション開発経験 ・Public cloud （AWS, GCP）運用経験 ・開発プロセスや業務プロセスの改善を、技術面からリードした経験 ・チームリード／メンタリング 経験（規模・年数不問） ・顧客現場や業務現場への関心を持ち、技術だけでなく運用・定着まで向き合える方

  事業内容

  以下システムの製造・販売 ・牛の遺伝子解析により理想的な牛群づくりを支援し、牧場の生産性を向上するシステム ・牛の状態（発情、分娩兆候、起立困難等）を通知するセンサーシステム ・牧場の生産管理を効率化するクラウドシステム ・牧場の経営分析をサポートするシステム… ※これ以上の情報はエントリー後にご説明いたします。

• エージェント求人

  【HR×SaaSプロダクト開発企業/プロジェクトマネージャー/札幌市】/36251

  600~1000万

  株式会社DONUTS北海道札幌市

  【HR×SaaSプロダクト開発企業/プロジェクトマネージャー/札幌市】/36251気になる

  もっと見る

  仕事内容

  国内最大級のクラウドERP「ジョブカン」のプロジェクトマネージャーを募集いたします。 【主な業務内容】 ・プロジェクトの管理、運営 ・仕様書や要件定義書の作成支援 ・進捗、課題、リスク管理の支援 ・各種トラブル対応 ・他社製品とのAPI連携などのアライアンス推進（スキル・経験に応じて） ・事業開発の市場調査・競合分析（スキル・経験に応じて） 【主な開発環境】 ・言語：Ruby、Python、Go、PHP ・フレームワーク：Ruby on Rails、Django、Zend Framework、Angular ・その他：React、MySQL、AWS、GCP、Git、Slack ◆なにをできるのか ジョブカン勤怠管理を具体例として記載すると、2010年にリリースした勤怠管理は、当時の技術と中小企業をターゲットとしたアーキテクチャで実現されています。今後、大企業をターゲットとした事業展開を行うために、数々の機能開発で複雑化したコードとアーキテクチャの見直しを行い、開発のアジリティを高める必要があります。 ドメイン知識は無くても大丈夫です。ジョブカンは業務効率化を目的として誕生したシステムです。ジョブカンの開発で最も重要なことは、ジョブカンがどのように利用されるのかを想像して「バックオフィスの従業員が価値ある業務に携われる時間を創り出す」ことです。ドメイン知識はプロジェクトを進めながら学んでいきましょう。… ※これ以上の情報はエントリー後にご説明いたします。

  求める能力・経験

  ・Webサービス開発のご経験（言語・開発環境問わず） ・下記いずれかのご経験 　　〇SaaSもしくはクラウドビジネスのプロジェクトマネジメントのご経験 　　〇複数プロジェクトの並行管理のご経験 　　〇40～50名規模のプロジェクトマネジメントのご経験

  事業内容

  クラウドサービス事業 ゲーム事業 動画・ライブ配信事業 医療事業 出版メディア事業… ※これ以上の情報はエントリー後にご説明いたします。

• エージェント求人

  【HR×SaaSプロダクト開発企業/テックリード/札幌市】/31247

  600~1000万

  株式会社DONUTS北海道札幌市

  【HR×SaaSプロダクト開発企業/テックリード/札幌市】/31247気になる

  もっと見る

  仕事内容

  国内最大級のクラウドERP「ジョブカン」。さらなるスケールを見越した機能拡張、利便性向上、安定性向上を目指すため、大規模開発や上流設計の経験・スキルを持ったテックリードを募集いたします。エンジニアマネージャーと共に、何をすべきかというミッションから一緒に走ってくれるエンジニアの方、ぜひご応募ください。 【業務内容詳細】 ・チームの生産性向上 ・設計、実装などの技術的なリード（アーキテクチャなど） ・技術的なレビュー、指導による品質管理（コードレビュー、テストなど） ・技術選定と妥当性の評価（言語、OSS、投資対効果の確認など） 【主な開発環境】 ・言語：Ruby、Python、Go、PHP ・フレームワーク：Ruby on Rails、Django、Zend Framework、Angular ・その他：React、MySQL、AWS、GCP、Git、Slack ◆どんな環境か ジョブカンでは様々なフェーズや技術に携われます。ジョブカン9製品はリリース時期が異なり、その時最適な技術を選定しているため、立ち上げ/成長期/成熟期などのフェーズ、PHP/Python、AWS/GCPなどの技術が異なります。これがジョブカン独自の様々な技術や課題解決に触れることのできる2つとない成長環境を創り出しています。 勤怠管理などのプロダクト毎にテックリードを任命し、技術選定は各チームに一任されています。その技術力でチームをリードし、プロダクト特性に合った技術選定し、技術的側面から事業の成長を牽引してください。… ※これ以上の情報はエントリー後にご説明いたします。

  求める能力・経験

  ・Ruby、Python、PHP、Goのいずれかを用いたサーバーサイドの開発経験　5年以上（目安） ・RDBを用いた開発、運用経験（論理/物理設計含む） ・何かしらの技術的意思決定をした経験（内容問わず） ・テックリードなど技術的にチームを牽引した経験

  事業内容

  クラウドサービス事業 ゲーム事業 動画・ライブ配信事業 医療事業 出版メディア事業… ※これ以上の情報はエントリー後にご説明いたします。

• エージェント求人

  【札幌市】上流工程／開発エンジニア（IT・機械・電気電子・組込）／土日祝休

  500~600万

  ＨＲプロビジョン株式会社北海道札幌市

  【札幌市】上流工程／開発エンジニア（IT・機械・電気電子・組込）／土日祝休気になる

  もっと見る

  仕事内容

  ■仕事概要 札幌市内の当社顧客先にて、開発エンジニアとして上流工程（要件定義）やプロジェクトのマネジメント業務をメインでお任せします。 ■業務詳細 ・技術職：IT、機械、電気・電子、組込制御における請負開発並びに技術の提供 ・ビジネスアプリケーション開発／サーバ・ネットワークエンジニアリング／組込みソフトウェア設計・開発／インフラ保守・運用・サポート ・担当工程：要件定義、基本設計、詳細設計、製造、テスト（ご経験に併せてアサイン） ・案件例：スマホアプリ開発（Android、iOS）／金融系システム／医療系システム／自治体向けシステム開発／航空管制システム開発／車載装置組込み開発／半導体製造装置開発／ECサイト開発 ■入社後の流れ 入社後は、Eラーニングや自社研修でスキルの不足を補いながら、希望や経験に合わせた案件にアサインします。ご経験を丁寧にヒアリングした上で案件をご提案します。 ■ポジションの魅力 ・Eラーニング研修が充実、資格に応じた手当制度あり ・エンジニアファーストの考えを大切にし、希望案件へのアサインを重視 ・足りないスキルを振り返り、自社研修でスキルアップできる ・2023年11月設立の新規企業で、裁量を持って新しい業務に挑戦できる ・年間休日125日（週休2日制・土日祝）、試用期間中も待遇の変更なし

  求める能力・経験

  【必須】詳細設計・基本設計・新規での開発経験／機能追加でもボリュームの多い案件の経験者 【歓迎】Java、JavaScript、C、C++、C#、PHP、VB.net、Python等を使用した開発経験

  事業内容

  人材派遣事業（製造派遣・エンジニア派遣）。自動車・半導体・医薬品・住宅建材・飲料食品などの製造業へのモノづくり人材、システム開発企業へのインフラ／アプリ／セキュリティ等のエンジニアを提供。

• エージェント求人

  【超大手SIerグループ/公共DXプロジェクトリーダー候補/札幌市】/45423

  659~926万

  株式会社NTTデータ北海道北海道札幌市

  【超大手SIerグループ/公共DXプロジェクトリーダー候補/札幌市】/45423気になる

  もっと見る

  仕事内容

  北海道庁、札幌市、厚生労働省、国土交通省といった官公庁プロジェクトの上流工程（要件定義・基本設計・構築）から、開発業務及びマネジメント業務をご担当いただきます。 【主な業務内容】 ■プロジェクトマネジメント ・要件定義から設計、開発、テスト、運用保守まで一貫したプロジェクト推進 ・プロジェクト計画の策定、進捗管理、品質管理、課題管理、リスク管理 ■チームマネジメント ・5～10名程度のプロジェクトチームのマネジメント ・メンバー育成、技術支援、目標達成に向けたフォロー ・課題発生時のエスカレーション対応や改善推進 ■顧客折衝・提案 ・自治体や省庁、エンドユーザーとの直接コミュニケーション ・要件整理、課題ヒアリング、業務改善提案 ・NTTデータ社および関係各所との調整・報告 ■品質管理 ・公共案件に求められる高い品質基準を踏まえた成果物レビュー ・品質向上に向けた品質分析・評価、プロセス改善 ■長期プロジェクト運営 ・数年単位の大規模プロジェクトにおける進捗・品質・課題管理 ・チームのモチベーション維持や継続的な組織運営 【配属部署について】 社員40名、パートナーも含めると120～150名程度の規模です。顧客折衝など上流工程を当社が主に実施し、開発・テストをパートナー社と共同で進めています。 リモートワーク率は案件ごとに異なりますが、部署全体で30～50%程度です。 【開発環境】 言語：Java、JavaScript、SQL OS・DB：Windows、Oracle その他：Linux、PostgreSQL、MySQL、Apache、AWS、Azure、GCP… ※これ以上の情報はエントリー後にご説明いたします。

  求める能力・経験

  ・開発実務経験5年以上 ・ビジネスパートナー、プロジェクトメンバー両方のマネジメント経験

  事業内容

  ・電気通信事業 ・データ通信システムの開発、運営および保守の受託、販売ならびに賃貸 ・データ通信システムに係わるソフトウエアまたは装置の開発、運営および保守の受託、販売ならびに賃貸 ・データ通信システムに係わる建設工事ならびにその他の建築工事および設備工事の請負 ・インターネット、ケーブルテレビ、衛星通信などのネットワークを利用した情報処理、情報仲介および情報提供業務ならびに商取引および決済処理業務 ・マ… ※これ以上の情報はエントリー後にご説明いたします。

• エージェント求人

  【IoT×SaaSのスタートアップ/PdM・CPO候補/札幌】/43516

  600~800万

  ゼロスペック株式会社北海道札幌市

  【IoT×SaaSのスタートアップ/PdM・CPO候補/札幌】/43516気になる

  もっと見る

  仕事内容

  注力製品「GoNOW」のProductチーム責任者候補として、SaaSプロダクトの価値最大化と組織基盤の構築を担当していただきます。 顧客課題に向き合いながら、Value・Quality・Cost・Deliveryの最適化を通じて市場シェアの最大化を主導することが重要です。異なる視点をもつメンバーの意見を、高いマネジメント視点で吸い上げること、情熱的に根気強くビジョンや中長期ロードマップを示しながら全社的な意思決定を主導することも役割として求められます。 【想定される業務内容】 ・外部環境や市場分析、顧客へのヒアリング等を通じたマーケティング戦略の立案 ・全社の指針となるようなプロダクト戦略・ロードマップ・基本方針の策定 ・エンジニア・デザイン・営業・CSと連携したプロダクト開発のリード・要件定義・仕様作成・スケジュール管理 ・ユーザー利用状況など分析データ基盤の作成。および、KPI設定～改善施策の立案 ・新規プロダクトの立ち上げ（市場調査～リリース～検証サイクルの主導） ・上記のための組織づくり、他チーム/経営とのコミュニケーション 【技術スタック】 　フロントエンド : TypeScript、SvelteKit、XState、Hono 　バックエンド : TypeScript、Express.js、TypeORM、Go 　データ分析 : Python、pandas 　インフラ：AWS 　DB：PostgreSQL、Planet Scale、DynamoDB 　その他：AWS CloudWatch Logs、Datadog、Code Build、Code Pipeline、Jira、GitHub、notion、Slack、Discord 【組織について】 正社員19名、業務委託・アルバイトメンバー約22名が在籍。ProductTEAMでは、PdM1名、PjM1名、Tech Lead1名、開発Member11名（フルタイムメンバー2名+副業メンバー9名）、デザイナー1名（副業メンバー）が活躍中です。… ※これ以上の情報はエントリー後にご説明いたします。

  求める能力・経験

  ＜IT領域の知見や技術力そのものよりも、高いリーダーシップや戦略立案能力、マネジメント力が求められるポジションです＞ ・マネジメント経験3年以上 かつ IT/SaaS系企業または類似する事業領域での実務経験2年以上 ・札幌オフィスへのフル出社が可能な方 ・ベンチャー企業ならではの成長志向、チャレンジ志向、変化志向、強い向上心がある方 ・多様な意見や背景をもつ関係者を巻き込み、強い組織動員力、リーダーシップを発揮できる方 ・業務の仕組化や標準化が得意な方 ・ロジカルな分析や、論理的なドキュメントを作成することが得意な方 ・生成AI等の新しいデジタルツールなどを利用することが得意な方

  事業内容

  「データから未来に新たな価値を提供する」を理念に掲げる札幌発のスタートアップです。 灯油残量を検知するIoTデバイス「スマートオイルセンサー」と、灯油配送業者向け自動発注＆配送管理SaaS「GoNOW」の開発・販売を主力事業としています。… ※これ以上の情報はエントリー後にご説明いたします。

• エージェント求人

  【ギブリーグループの開発企業/グローバルプロダクトマネージャー/札幌市】/45331

  1000~1500万

  株式会社セキュアサイクル北海道札幌市

  【ギブリーグループの開発企業/グローバルプロダクトマネージャー/札幌市】/45331気になる

  もっと見る

  仕事内容

  生成AI活用の「ビジネス効果」と「セキュリティリスク」を可視化するSaaS「AI Monitoring」の、海外市場（英語圏）向けプロダクトマネジメントを担っていただきます。ビジネス・プロダクト・技術・言語の4軸を横断し、顧客に深く入り込んで価値を届けるFDE（Forward Deployed Engineer）的な動き方が求められるポジションです。英語圏でのシェア獲得が事業の勝負どころとなる、極めて重要度の高い立ち上げフェーズを担います。 【主な業務内容】 ・海外エンタープライズ顧客向けAI Monitoringのプロダクト戦略・ロードマップ策定 ・顧客の業務フローに入り込んだ要件定義、ユースケース設計、導入支援（FDE的役割） ・開発チームと連携した仕様策定・優先順位づけ・リリースマネジメント ・顧客からのフィードバックを起点としたプロダクト改善サイクルの構築 ・海外市場（インド・US等を想定）における現地ニーズの把握とプロダクトへの反映 ・経営層・国内チームとのグローバル/ローカル間の連携 【開発環境】 開発言語： Go, TypeScript フレームワーク： Go (Clean Architecture / Gin), Next.js, React テスト： Go testing, Jest, Playwright (E2E), Chromatic (ビジュアル) インフラ・ミドルウェア： AWS (ECS/Fargate, RDS, Cognito, S3, CloudWatch), PostgreSQL, Redis, Docker, Nginx CI/CD： GitHub Actions, AWS CodeBuild ツール： GitHub, Teams, Terraform, Terragrunt, AWS CDK, dependabot AIツール： GitHub Copilot, Google Gemini, Claude (Claude Code / Cowork)… ※これ以上の情報はエントリー後にご説明いたします。

  求める能力・経験

  ・SaaSまたはBtoBプロダクトのプロダクトマネジメント経験（3年以上目安） ・エンタープライズ顧客に対する要件定義・導入・折衝の実務経験 ・開発チームと技術的な議論ができるレベルの技術理解 ・ビジネスレベルの英語力（海外顧客・チームとの折衝が可能なレベル）

  事業内容

  ・情報セキュリティに関する各種診断・対応 ・情報セキュリティに関するセミナー、コンサルティング ・システム開発 ・システム開発に関するセミナー、コンサルティング… ※これ以上の情報はエントリー後にご説明いたします。

• エージェント求人

  【ギブリーグループの開発企業/プロジェクトマネージャー/札幌市】/45325

  600~1020万

  株式会社セキュアサイクル北海道札幌市

  【ギブリーグループの開発企業/プロジェクトマネージャー/札幌市】/45325気になる

  もっと見る

  仕事内容

  まずは開発チームの一員としてプロダクトや開発文化への理解を深めていただき、その後、プロジェクトマネージャーとしてチーム全体のマネジメントをお任せします。ビジネスサイドやディレクター、クライアントとも密に連携しながら、技術と組織の両面からプロジェクトをリードしていただくポジションです。 事業の成長とともに組織をつくる。そんなフェーズで、裁量あるマネジメントに挑戦できます！ 【主な業務内容】 ・プロジェクトの管理、推進 ・関連部署やクライアントとの折衝 ・テックリードと連携した技術選定 ・要件定義から設計、実装、保守運用までの一貫した開発業務 ・コスト管理 ・プロジェクト計画に基づいた要員計画 ・体制検討、構築 ・チーム運営（1on1、モチベーション管理、メンタルケア） ※経営層との連携が多いポジションのため、経営視点での戦略思考が養われます。… ※これ以上の情報はエントリー後にご説明いたします。

  求める能力・経験

  ・要件定義から設計、実装、保守運用までの一貫したソフトウェア開発における5年以上の実務経験 ・クライアントとの折衝／提案経験 ・PL/PMとしてのマネジメントのご経験

  事業内容

  ・情報セキュリティに関する各種診断・対応 ・情報セキュリティに関するセミナー、コンサルティング ・システム開発 ・システム開発に関するセミナー、コンサルティング… ※これ以上の情報はエントリー後にご説明いたします。

• エージェント求人

  日立製作所【札幌勤務】自治体分野のシステム開発・新ビジネス創出を支えるシステムエンジニア

  830~1100万

  株式会社日立製作所北海道札幌市

  日立製作所【札幌勤務】自治体分野のシステム開発・新ビジネス創出を支えるシステムエンジニア 気になる

  もっと見る

  仕事内容

  【職務概要】 ・システム開発・構築プロジェクトのリーダーとして、プロジェクトをまとめる役割や、稼働後のシステム運用・保守フェーズも担当していただきます。 ・お客様の課題解決と革新的な価値創出のため、新しいサービス・ソリューション提案活動に積極的に参画していただきます。 システム開発・構築の上流から下流まで、幅広い経験を積むことができるチャンスが与えられます。 【職務詳細】 案件状況に応じて、以下の(1)(2)の職務を遂行していただきます。 (1)システム開発・構築・運用のリーダー、サブリーダー ①要件定義 　・機能／非機能要件をヒアリングし、要件定義書を取りまとめます。 ②設計・開発・テスト 　・基本設計、詳細設計、運用設計などの各種設計書を取りまとめます。 　・開発/テスト計画を取りまとめ、策定した計画をもとに開発チームの進捗管理を行います。 　・設計・開発・テスト工程の成果物の品質評価を行います。 ③移行 　・データ移行について、データ移行設計・ツール開発・本番データ移行の取りまとめを行います。 　・現行システムから新システムへの移行設計～切替の取りまとめを行います。 ④運用・保守 　・システム稼働後の運用・保守の取りまとめを行います。 (2)自治体ＤＸ，新規ビジネス創出などの提案活動 ・顧客の課題・ニーズをヒアリング等により把握し、市場・技術動向を踏まえソリューションを創出・提案を行います。 【ポジションの魅力・やりがい・キャリアパス】 【仕事の魅力・やりがい】 ・自分でコントロール可能な小規模のシステムから多くのメンバとともに遂行する大規模システムまで幅広く対応するチャンスがあり、先進的な公共システムの基盤に係ることで、社会への貢献を実感できます。 ・従来から構築してきている業務システム開発から、AIやビックデータ解析などの日立の最新テクノロジーを活用したDX関連のソリューションの実現など、あらゆるビジネスシーンにチャレンジすることができます。 【キャリアパス】 ・自身のキャリアとして、大規模システム開発のマネジメント実績を積むことができます。 ・大規模なプロジェクトでは、お客様との交渉シーンや、社内外のスペシャリストとともにプロジェクトを遂行することで、エンジニアとしてのノウハウを吸収でき、スキルアップすることができます。

  求める能力・経験

  【必須条件】 ■資格 ・基本情報処理技術者資格（FE） ■業務経験 ・システム開発プロジェクトリーダーの経験(2年以上) ・客様・社内との調整・連携推進経験(2年以上) 【歓迎条件】 ■資格 ・PMPR認定 ・高度情報処理資格技術者 ・AWS Certified Solutions Architect ー Associate ・TOEIC（R）テスト650点以上の英語力 ■業務経験 ・自治体向けシステム開発リーダーの経験(2年以上) ・自治体業務システムの経験(3年以上) ・顧客との共創要素の強いPJや、大規模PJでのリーダー経験(1年以上） ・DX提案、データ分析などのプロジェクトの経験(1年以上)

  事業内容

  -

• 企業ダイレクト

  【テクニカルリード】（テスト自動化・AIソリューション）フルフレックス

  800~1000万

  日本ナレッジ株式会社東京都台東区, 北海道内

  【テクニカルリード】（テスト自動化・AIソリューション）フルフレックス気になる

  もっと見る

  仕事内容

  ソフトウェアテストの自動化や、生成AIを活用した検証・開発を軸に、当社サービスの技術的な中核を担っていただきます。 ■サービスの中核となる技術・手法の設計・開発（テスト自動化、生成AIを活用した検証・開発など） ■顧客に提供する成果物・ツールの設計・開発 ■提供方法の確立（作業手順の標準化、品質管理の仕組みづくり、メンバー育成・教材作成） ■新しい技術・ツールの調査と、導入可否の技術判断 ■顧客への技術的な提案サポート、試験導入（PoC）の技術責任 ■メンバー（2～5名程度）への技術指導

  求める能力・経験

  【必須】■ソフトウェアテストの上流工程（計画・設計）の実務経験 ■テスト自動化、または生成AIを活用した開発・設計の実務経験 ■技術的な設計を言語化し、他のメンバーが再現できる形にできる 【歓迎】 ＜技術＞■ TypeScript／Python／JavaScript／C# 等での開発 ■生成AI・LLMを用いたアプリ／エージェント開発 ■OSSの自動化ツール（Playwright／Selenium／Appium／Cypress等）での実装、CI/CDへの自動テスト組込み ＜マネジメント＞数名規模のメンバーマネジメント、技術教育・育成

  事業内容

  ■コンサルテーションサービス　■開発サービス　■検証サービス