希望の条件で絞り込み
職種
職種のカテゴリーを変更する業種
メーカー・技術系
IT・通信系
商社系
サービス系
小売・販売系
金融系
広告・メディア系
その他
雇用形態
勤務地
キーワード
求人の特徴
特徴一覧
希望年収
検索結果: 72,263件(601〜620件を表示)
株式会社ネクサスエージェント
【クラウドエンジニア】フルリモート/新規構築・改善・運用
ネットワーク系SE
フルリモート <東京支店>東京都港区新…
600万円〜1300万円
正社員
<業務詳細> 内製開発プロダクトのクラウド基盤について、新規構築・改善・運用を担当頂きます。 基本的にTerraformでIaC化しており、AWSのサーバレス環境(Fargate + ECS)中心となります。 クラウド運用については、基本的に自動化が求められます。 ご本人の志向にマッチする場合は、クラウド基盤以外のプロダクト開発業務にも携わって頂けます。 他の開発にも携わる場合の業務内容につきましては下記ご確認ください。 ■企画 ・企画側と開発側で分かれているわけではなく、企画を出すことができる ・企画の優先度などを決め、計画的にコーディングを行えるようにする ・メンバーレベルから企画から関わる ■開発 ・要求を実現するためのアーキテクチャやコードレベルまでの設計を行う ・所属チームが求める品質でプログラミングを行う ・要求を満たしていることを担保するために自動化された方法で単体・結合テストを行う (Cypress) ・自動化されたデプロイパイプラインを使ってリリースを行う ■運用 ・DevOpsで自動化しているので開発と運用を一緒に行う(運用専門のチームはない) コラボレーション ・日々新しい情報、技術を導入するか議論し、最適解で開発を進める ・技術の共有や業界についての勉強会などの取り組みを通してチーム内のスキルレベル平滑化を行う(週2~3回) ・採用プロセスへの参加や採用広報目的の外部への情報発信を通じて共に働くメンバーの獲得に貢献する ■ご本人の希望・経験に応じて、フロント・バック・インフラの何れにも関わっていただきます。 ・プロダクトを横断的に関わっていただき、開発スピードを高めていきます。 ・フルスタックエンジニアを目指せる環境があります(希望による) ・自分の目指したいエンジニアの姿を追求しながら開発できる環境
サイボウズ株式会社
【Webエンジニア】「kintone」の開発全般/スクラム開発/フルリモート勤務可
Web・オープン系プログラマ
大阪オフィス>大阪府大阪市北区角田町8…
650万円〜
正社員
クラウドサービス「kintone」のWebアプリケーション開発を担当していただきます。 ■チームで日々学び合える kintone開発チームでは開発手法としてスクラムを採用し、1週間を1スプリントとして開発しています。開発期間中は設計やプログラミングが中心で、Webエンジニア同士がモブプログラミングなどでお互い学び合いながら開発を進めます。プロダクトマネージャー、プロダクトデザイナー、QAエンジニア、プロダクトライターとも密に連携し、チームワークを活かして効率よく品質の高いものづくりを実現しています。 ■住みたい場所で働ける チームメンバーはスプリントごとに実施されるスクラムイベントに参加し、スプリント計画の策定や成果物のレビュー、振り返りなどを行います。モブプログラミングやスクラムイベントはすべてビデオ会議で開催され、メンバーは全国各地のオフィスや自宅から参加します。 ■得意な分野で力を発揮できる 各メンバーは専門性を活かしてフロントエンド・サーバーサイドのいずれかを主に担当することも、フルスタックエンジニアとして幅広い技術領域に取り組むことも可能です。 ■チームの紹介 https://speakerdeck.com/cybozuinsideout/kintone-development-team-recruitment-information
株式会社サーバーワークス
【プリセールス・セールスエンジニア】フルリモート
プリセールス・セールスエンジニア(ソフト)、プリセールス
福岡オフィス>福岡県福岡市博多区博多駅…
700万円〜1300万円
正社員
AWSサービスを使ったクラウドコンタクトセンター導入支援、サーバーレス開発、お客様の内製化を支援するサービス等の提供に関する営業活動を行います。 新規顧客向けのリード獲得後の提案活動、BtoBでのインバウンドセールスおよび既存顧客のリテンションが主となります。 <具体的な仕事内容> ■営業方法 ・お客様への課題のヒアリング ・課題、ニーズに合わせた提案活動(提案書/構成図の作成/見積書の作成/契約書の作成等) ・契約までの対応はソリューションセールスがメインとなります。提案書等を作成する際はプリセールスのメンバーも協力してくれます。 ・受注後~運用フェーズではエンジニアチームがメインの担当となります。運用時の技術的なトラブルが発生した場合はサポートチームが担当します。料金に関するお問い合わせやその他のお客様からのご連絡に対してはソリューションセールスのメンバーが対応します。 ・パッケージングされた商材を扱うのではなく、それぞれのお客様の課題や要望に合わせてAWSサービスを組み合わせて提案するので、柔軟な提案力/発想力が重視されます。 ■商談までの流れ ・リード創出 リード創出の為に、マーケティング部門が様々なイベント・セミナーを仕掛けます。 ・リードに対するアプローチ 発生したリードに対し、インサイドセールスがファーストヒアリングを実施し商談化の可能性があるリードを判断し、フロント営業との連携を図ります。 ・商談インサイドセールスから渡された商談化した事案に対し、ソリューションセールスのメンバーがフロント営業として詳細なアプローチを実施します。 ※リードの獲得はマーケティングチームが行います。 ■単価 業種によって多少は違いますが、1つのプロジェクトにつき100万円~数千万円までのレンジの商談が多いです。 ■クライアント数 営業1名あたり30社ほどを担当。 情報システム部や技術部のエンジニアがメインの顧客になります。 新規:既存=8:2。主に新規開拓の営業をお任せします。
株式会社Laboro.AI
【システム開発エンジニア】フルリモート
Web・オープン系プログラマ
東京都中央区銀座8-11-1 GINZ…
600万円〜900万円
正社員
・機械学習を用いたシステム/サービス開発の主導的立場での参画 機械学習エンジニアが実装したモデルをシステム上に載せるというイメージです。 入社時点で機械学習に関する知識が少なくても、入社後にキャッチアップして頂けます。 ・実運用観点からの機械学習モデルの改善支援 ・システム開発エンジニアチームの組織拡大に必要な活動全般(部内への定期的な技術発信活動、メンバー育成活動など)
株式会社豆蔵
【組込・制御エンジニア】組込み系システムの開発およびコンサルティング/フルリモート可
汎用機系プログラマ
東京本社>東京都新宿区西新宿2-1-1…
600万円〜1100万円
正社員
組込み系システム(自動車、FA機器、ロボット、医療機器、建設機械等)の開発およびコンサルティングを行います。 この中から得意、または伸ばしたい部分にチャレンジいただきます。 <具体的な仕事内容> ・最新のソフトウェア技術を導入するための開発支援 ・技術的難易度の高いシステムの開発 ・要素技術の開発(AI、画像認識) ・研究開発のPOC開発 ・システムズエンジニアリング、ソフトウェアエンジニアリングに基づいた開発支援(要求分析、要求定義、アーキテクチャ設計、プロダクトライン開発) ・技術を定着させるための支援(トレーニング講師、OJTによる育成支援、成果物レビュー) ・CMM/CMMI、AutomotiveSpice、ISO26262機能安全等に基づいたプロセス改善コンサル ・反復型開発、アジャイル型プロセスのコンサル ・プロジェクト管理の支援コンサル ・サイバーセキュリティに関するコンサル ・モデルベース(UML、SysML、Simulink)の開発を導入するためのコンサルティングあるいは、モデルを使った開発支援
株式会社アイリッジ
【テックリード】フルリモート
Web・オープン系プログラマ
東京都港区麻布台一丁目11番9号 BP…
600万円〜900万円
正社員
■業務概要 新領域プロダクトの事業立ち上げを、技術面でリードして頂きます。 プロダクトマネージャーとの対話を通じ、必要最低限の機能を見極め、最低限の手間で作成します。 設計や計画だけでなく、エンジニアチームとして実際にコードを書きながら、開発効率を落とさないコード品質(保守性・拡張性)を保つことが求められます。 ■業務詳細 当社では、新規プロダクトを成長させるため、「プロダクトが提供すべき価値は何か」「ユーザーに長く使い続けてもらうために何が必要か」といった、ユーザー体験のありかたを考え、検証し、改善し続ける取り組みを行っています。 技術観点では、スピーディーに機能改善を繰り返しつつも、開発速度を損なわないよう、適切な設計とコード品質を保つ必要があります。 プロダクトの方向性を意識し、プロダクトマネージャーと協力しながら機能開発を率いていただくことがミッションです。 ・技術要素:Vue.js / TypeScript / Python / Hasura / AWS / Docker / PostgreSQL / Git ・進め方:アジャイル ・プロダクトの将来計画をふまえ、短?中期的な開発効率が下がらないよう、適切な設計方針をチームに提案、実装します。 ・保守性・拡張性をもったソフトウェア設計(抽象化レイヤー、API仕様)を具体的に説明し、チームをリードします。 「Co-Assign(コーアサイン)」 は、チーム開発に必要な「アサイン」を視覚化・定量化することで、組織マネジメントの速度・精度を高めるアサイン管理SaaSです。時代遅れのプロジェクト運営が無くなる世界を目指します。 Co-Assign(コーアサイン)とは? 「Co-Assign」は、要員の稼働計画を「高い解像度」でチーム内に共有できるリソース管理の脱Excelサービスです。 ・要員計画の脱Excel化: プロジェクトごとの稼働予定を管理し、人軸・プロジェクト軸で表示切替が可能です。 ・受注キャパシティーの拡大: 受注予定案件の要員計画を月ごと・確度ごとに集計できます。不足する人材・スキルがわかり、最適な人材配置で受注キャパシティー拡大に繋がります。 ・予実管理による粗利率の向上: プロジェクトごとの稼働時間を入力できます。予実がリアルタイムで共有されるため、粗利率悪化前に対策が可能です。
株式会社シーベース
【フルスタックエンジニア】フルリモート可能/HRTechSaaS開発/IPO準備中
Web・オープン系プログラマ
フルリモート(国内居住地無制限(離島除…
700万円〜1000万円
正社員
<役割/職務> SaaSプロダクトの開発・運用において技術的なリードをし、システムの品質向上・安定化および組織の開発力向上を実現していただきます。 具体的には以下の業務を担当して頂きます。 ■業務内容 ・SaaSシステムの開発(設計・実装)を行う ・セキュリティやパフォーマンスの最適化を行い、システムの安定性を向上させる ・最新の技術を活用し、開発スピード・品質の向上を図る ・開発プロセスを自動化し、効率的な開発環境を構築する ・チームメンバーの技術的な成長を促進し、学習・共有文化を推進する
パーソルビジネスプロセスデザイン株式会社
【フルスタックエンジニア】フルリモート
Web・オープン系プログラマ
フルリモート <豊洲本社>東京都江東区…
600万円〜1000万円
正社員
<業務詳細> プロダクト統括部にて、新規プロダクト事業の拡大に携わっていただきます。 会社全体で新規事業が創出される仕組みの構築・運用、プロダクト事業のマネジメント、新規創出等幅広いMissionを担っています。 今後は年4~5個の新規事業を生み出していく予定であり、そちらのプロダクト開発に携わっていただきます。 <具体的な仕事内容> ・MVP開発や新規プロダクト開発に関わっていただきます 企業の会議運営管理支援サービス等、WorkTech(働き方DX)の新規プロダクトの立ち上げテクニカルリードとして、プロダクトオーナーと共に企画内容をもとに開発していただきます。 また、新規プロダクト立ち上げ時のMVP開発にも携わっていただき、ゼロからの開発環境、サーバ環境から選定を行い、設計、開発とすべての工程に関わっていただきます。 ・新規プロダクト開発におけるテクニカルリードとして参加いただきます インフラ設計からアプリケーションのアーキテクチャまでプログラミングを始める前段階の技術選定、構築を考えるところからお任せいたします。 また、アジャイル開発プロジェクトの開発リーダーとして、プロダクトオーナーからのユーザーストーリーからクイックに開発を行い機能の精度を高めていただきます。
サイボウズ株式会社
【デザインテクノロジスト】デザインシステムのデザイン・開発などを担当/フルリモート可
コーディング、Web・オープン系プログラマ、オープン系SE
フルリモート <名古屋オフィス>愛知県…
650万円〜1100万円
正社員
<業務詳細> デザインプロセスから参加しデザインの問題を解決することもあれば、プロトタイプを構築し、デザインの有効性や問題を検証します。 また、機能開発、デザイン検討に参加します。これらの活動の基盤となるデザインシステムの活動の中心メンバーを担ってもらいます。 これらを通じてデザインテクノロジストはデザイナーやフロントエンドとして技術スタックにフォーカスするのではなく、ユーザーに良い体験を提供できるために行動します。 デザインシステムがデザインとエンジニアの間のギャップを埋める”ツール”であるとするならば、デザインテクノロジストとはまさに両者のギャップを埋める”ヒト”になります。 デザインテクノロジストはデザインとエンジニアの両領域で両方向のニーズを翻訳して伝えることにパッションをもち、その結果チームがクロスファンクショナルなニーズやゴールに向かっていくことを推進します。 <具体的な仕事内容> ・デザインシステムのデザイン、開発、それらに伴うコミュニケーション ・プロダクトデザインの構造化 ・デザインを具体化するプロトタイプの作成 ・デザインから実装に至るデザインプロセスの改善
サイボウズ株式会社
【Webエンジニア】フルリモート
汎用機系プログラマ
フルリモート <東京オフィス>東京都中…
650万円〜
正社員
<業務詳細> クラウドサービス「kintone」のWebアプリケーション開発を担当していただきます。
株式会社Schoo
【Webアプリエンジニア】フルリモート
Web・オープン系プログラマ
本社>東京都渋谷区鶯谷町2-7 エクセ…
600万円〜700万円
正社員
当社のtoC向けサービス「Schoo」と法人向けサービス「Schooビジネスプラン」、また高等教育機関向けDX事業「Schoo Swing」の開発を担当して頂きます。各プロダクトチームと連携しながら、必要な機能を整理し拡張性を考慮した設計・実装を行っていきます。 <具体的な仕事内容> ・プロダクトの要件定義~リリース管理 ・プロダクトの各種機能の設計/開発 ・アーキテクチャ設計/リファクタリング ・UIUX施策立案と遂行 ※担当する事業、開発役割につきましては、ご経験やご希望に応じてご相談させてください。
marutto株式会社
【リードエンジニア】フルフレックス/フルリモート/技術選定~要件定義、開発チームのリードをお任せ
Web・オープン系プログラマ
フルリモート <本社>大阪府大阪市中央…
700万円〜900万円
正社員
テックリードとして、技術選定~要件定義、開発チームのリードをお任せいたします。 【具体的な業務】 ・自社サービスおよび、受託開発における技術選定、要件の取りまとめから開発、リリースまでの業務 ・開発チームのマネジメント
株式会社豆蔵
【ITアーキテクト】技術スペシャリスト/経営と技術の両面から問題にアプローチ/フルリモート
汎用機系プログラマ
東京本社>東京都新宿区西新宿二丁目1番…
650万円〜1100万円
正社員
(1) 現状分析フェーズでは、性能・テスタビリティ・生産性(開発容易性)・保守性(サイクロマチック複雑度などのメトリクス評価)・品質(テスト充実度合、バグ発生頻度)等の軸で、現行システムを評価します。 (2) 主要な業務の機能要件・非機能要件を明らかにした上で、顧客にとって最適なアーキテクチャを策定します。 (3) 実際のリファレンスアプリを実装し、狙い通りの改善が新アーキテクチャで行われているかを検証します。 (4) 策定したアーキテクチャの、プロジェクト全体への展開支援といった業務も担当します。
株式会社ロボマインド
【テックリード】自社サービスのリードエンジニア/世界初のツールを開発/フルリモート/
汎用機系プログラマ
フルリモート<本社>兵庫県神戸市中央区…
650万円〜900万円
正社員
<業務詳細> 副業の代名詞【せどり】×【AI】で革命を起こす 楽天、メルカリ、ヤフオクといったECサイトには、一定の割合でお宝が隠れています。 お宝とは、安値で売られている価値のある商品のことです。 それを仕入れてアマゾンで高く売るネットビジネスが「せどり」です。 ただ、JANコードなどがない場合、同一商品かの判定が難しく、お宝に限ってJANコードはありません。 そんな場合、商品名や写真、型番などから判断します。 結構、大変な作業ですが、これがアマゾン登場以来、20年以上続いてる「せどり」です。 ところが、ここにきて風向きが変わりました。 AI(ChatGPT)の登場です。 今まで人が文章を読んで判断してたことがAIで可能となりました。 さらに画像認識AIで画像での判定もAIで可能となりました。 世間では、AIに仕事を奪われると言われていますが、ほとんどの仕事はまた奪われていません。 今のAIは平気で嘘をつくので、文章や書類の作成といった高度な仕事をAIに任せることができないからです。 でも、同一商品判定といった簡単な仕事なら、AIと人間の差はほとんどありません。 しかも、AIなら、休むことなく何10時間でも、何千件のデータでも文句を言わず働いてくれます。 そしてネット上には、お宝は必ずある一定の割合で存在するんです。 これが今のAIで、すぐにでも実現可能な本当に役に立つ仕事です。 このことはまだ、ほとんどの人は気づいていません。 この技術は間違いなく、今後の仕事のあり方を変えるでしょう。 その手始めに開発してるのが「せどり」ツールです。 「AIだけで本当にお金を稼ぐ」 世界初のそんなツールを開発します。
株式会社タイミー
【アジャイルコーチ】アジャイル開発/組織課題解決/チーム支援/フレックスタイム/全国フルリモート可
プロジェクトマネージャー、プロジェクトリーダー
フルリモート<本社>東京都港区東新橋1…
800万円〜1200万円
正社員
アジャイルなエンジニアリング組織になるために、マネジメントよりも自己管理できる組織作りに重点を置き、アジャイルソフトウェア開発の導入やプロジェクトのファシリテーション、ティーチング、コーチングなどを通して組織を支援していただきます。 単一のチームだけではなく、チームを取り巻くより大きな組織に対し、事業戦略を理解しつつパフォーマンスを最大限に引き出せるよう様々な活動を期待しております。 組織における開発プロセスの改善・改革の例としては、下記のような業務に着手していただきます。 ・スクラムマスターもしくはアジャイルコーチとして開発チームのイネイブリング ・スクラムマスターの育成 ・SPACEやFour Keysなどの手法による組織の開発生産性の分析 ・システムコーチング ・他職種とのコミュニケーションと組織変革プロジェクトリード ・プロダクト開発組織における様々なナレッジのハブ
株式会社タイミー
【MLOpsエンジニア】フルリモート
システムアナリスト
フルリモート<本社>東京都港区東新橋1…
700万円〜1100万円
正社員
アプリのUXや、タイミーの様々な業務効率を向上させるための機械学習を用いたソリューションについて、安定した価値提供を実現するためのMLOps基盤の構築・運用をメインで担っていただくポジションです。 <具体的な業務内容> ・機械学習の学習・評価・予測を効率的に実現するためのMLOpsパイプラインの構築・保守・運用 ・機械学習APIサーバーの設計・開発・運用 ・機械学習システムのためのデータパイプライン構築 ・機械学習ワークフローの設計・開発・運用 ・ML関連の開発業務を効率化する社内ライブラリ開発など ・上記を実現するため、最新の技術動向を踏まえたテックスタックの標準化や運用のための仕組みづくり ・IaCによるインフラ構築・管理 ・CI/CDによるデプロイ自動化 ・サービス監視設計・運用 ・パフォーマンスチューニングを含むSite Reliability向上のための実装など ・社内のデータサイエンティスト等への教育・スキルトランスファーや採用に関する業務 ・ML基盤活用戦略の作成・推進や、全社的なML活用の環境整備・啓蒙活動
サイボウズ株式会社
【データエンジニア】フルリモート
システムアナリスト
フルリモート <東京オフィス>東京都中…
600万円〜1300万円
正社員
自社クラウドサービスの『cybozu.com』では、OSSや自社製ミドルウェアを利用して、ペタバイトスケールのユーザーデータを扱っています。 近年では、ユーザー数の増加やユーザーの利用方法の多様化によって、データ容量が増大し必要な性能も向上。 それらの要求を満たすためには、より管理コストが低く、スケーラビリティがあり、性能が高いストレージが必要です。 そのため、新基盤のストレージの開発・運用および社内の利用者への教育を行うメンバーを募集しています。 <具体的な仕事内容> ■ストレージチーム ・Ceph/Rookによるストレージインフラの開発/運用 『TopoLVM』 https://github.com/topolvm/topolvm/ ・自社製Kubernetes CSI pluginの開発 『TopoLVM』 ・既存インフラからの移行の設計/サポート ■DBREチーム ・『cybozu.com』のサービスで利用されているデータベースクラスタの運用 ・データベースクラスタに対するモニタリングとSLOの設計/開発 ・大量のデータベースインスタンスを管理/運用するためのデプロイパイプラインの開発 ・大量のデータベースインスタンスに『cybozu.com』のデータを分散配置するのに使われるマイクロサービスの開発 ・MySQLのバージョンアップや新機能の検証/導入 ■ログ基盤チーム ・データ活用を支えるためのログ収集基盤/分析基盤の運用 ・Ansibleを用いたログ収集基盤の構成管理
株式会社PKSHA Technology
【機械学習エンジニア・データサイエンティスト】フルリモート
システムアナリスト
フルリモート <PKSHA STUDI…
600万円〜1100万円
正社員
<業務詳細> 事業拡大に伴い、機械学習アルゴリズムの開発を担っていただくエンジニアを募集します。 テーブルデータ・自然言語・画像などの幅広いデータを用いて、クライアントの課題を解決する機械学習アルゴリズムを中心に設計・実装していただきます。 コンサルタント、ソフトウェアエンジニアとチームを組み、金融、小売、製造業など、様々な業界の課題を解決するソリューション/プロダクトを開発していただきます。 AIの検証に留まらず、最先端技術をクライアントが利用し続けるソフトウェアの形にして社会実装し、未来のビジネスを実現するプロセスに関心がある方を歓迎します。 <具体的な仕事内容> ・ビジネス上の課題、制約条件に適したアルゴリズムの提案 ・ユースケースに合わせた機械学習モジュールの設計、実装 ・クライアントに対する分析結果等のレポーティング ・ソフトウェアエンジニアと協力して、Web API等へのアルゴリズムの組み込み ・最先端技術を社会実装可能なレベルに引き上げるR&D ・自身の開発したアルゴリズムの他業界への横展開や自社プロダクトへの組み込み
株式会社Sun Asterisk
【PM】ハイクラス/リリース計画策定・実行/リーダーポジション/フルフレックス/リモート可
プロジェクトマネージャー、プロジェクトリーダー
本社>東京都千代田区大手町1丁目6?1…
800万円〜
正社員
本ポジションでは、グローバルなエンジニアチームをはじめSun*の多様な職種のメンバーを束ね、プロジェクトを推進していただきます。 【業務詳細】 ・サービス、ビジネス要件の策定(顧客折衝含む) ・スコープ調整 ・全体WBS作成、進捗管理 ・業務整理や基本 / 詳細設計の作成指示 ※実際に設計書を作成いただくケースもあります。 ・実装フェーズでの品質管理 ・リリース計画策定 / 実行 ・1億円規模以上の案件担当経験 ・マネジメント経験人数10名以上 タスク管理など一般的なプロジェクトマネジメント業務に加え、ビジネス要件の策定からデリバリーまで、一気通貫で社内チームのリーダーポジションを担っていただきます。 また、新規クライアントプリセールス、ベトナムチーム組成時の顧客サポートなどもお任せしたいと思っています。
株式会社ゆめみ
【サーバーサイドエンジニア】チームリード/サーバーサイド開発/フルリモート/リーダーシップを発揮
Web・オープン系プログラマ
東京都世田谷区三軒茶屋2-11-23 …
650万円〜1000万円
正社員
スマートフォン・タブレット・ウェアラブルデバイスを活用したサービスの設計~開発に携わっていただきます。 世界中の利用者が使っていただけるネイティブアプリを、ご自身の手で開発する醍醐味を感じていただけます。 実際に当社で開発したアプリケーションでは、全世界で数千万規模の会員向けアプリサービスを扱っております。 以下が実際に担当していただく業務内容です ・プロダクトの設計・開発・リリース後の継続的なサービスディリバリー/DevOps ・顧客側プロダクトオーナーや社内サービスデザイナー/UIデザイナーとの仕様調整 ・詳細設計の実施、開発標準/ライブラリの選定、コアな部分の実装及びメンバーのコードレビュー ・開発プロセス(KPT、dailymeeting、ブランチ戦略、issue/Pull Requestの運用)の継続的な改善を行いチームをリードする ・新規技術導入の為の技術調査及び検証