なぜ募集しているのか: 組織強化のための増員募集です。
どんな仕事か: SSD向けLSI（SoC）開発における論理検証業務を担当し、検証戦略の策定や検証実施を行っていただきます。
(1)検証戦略策定業務
検証対象（DUT）の仕様や実装を考慮し、効果的かつ効率的に検証品質を向上させるための戦略を立てます。
具体的には、ベクタベース検証や機能等価性検証（フォーマル検証）の適用判断や、検証チームの活動方針を策定します。

(2) 検証実施業務
UVM（Universal Verification Methodology）を基にした検証環境を構築します。
・カバレッジ取得環境の設計
・チェッカの作成と組み込み
・性能モニタの作成
検証項目やテストシナリオ・アサーション等を作成し、ベクタベース検証とフォーマル検証および検証結果の取りまとめを実施します。

■使用ツール
・作業環境：Linux/Windows
・使用言語：SystemVerilog、Verilog-HDL、C/C++、スクリプト言語（Python、Perl、Rubyなど）
・ツール：Verilogシミュレータ、波形ビューワー、Formal検証ツール、検証IP（VIP）

【将来的に従事する可能性のある仕事内容】
同社業務全般

【所属部署情報】
組織の詳細情報については選考の過程でお伝えします。
求められるスキルは: 必須以下いずれかのご経験をお持ちの方
・LSI論理検証業務の実務経験
・Verilog-HDL、SystemVerilogを使った検証経験
・UVMベースの環境での検証経験
・スクリプト言語を使用した開発環境整備の経験
雇用形態は: 正社員
どこで働くか: 神奈川県

＜将来的に勤務する可能性のある場所＞
本社および全ての支社、営業所

＜受動喫煙防止策＞
屋内全面禁煙、屋外に喫煙所を設置
勤務時間は: フレックスタイム制 1日の標準労働時間：7時間45分
休憩時間：1時間
コアタイム：あり 11:00～13:30
月平均残業時間：30時間
※8:30～17:15の時間帯で勤務する社員が多いです。
給与はどのくらい貰えるか: 年収：550～1210 万円月給制基本給：271000円～684000円
残業代：全額支給
変動手当：在宅勤務手当　
次世代育成手当　18歳未満の扶養対象児童一人あたり15,000円／月
住宅費補助　
※管理職採用の場合、年俸制となります。

通勤手当：あり実費支給(上限なし)

賞与：あり年2回（7月・12月）
昇給：あり年1回
待遇・福利厚生は: 独身寮、単身寮、家族社宅、在宅勤務制度、財形貯蓄制度、企業年金制度など
休日休暇は: 【年間休日】125日
【休日内訳】完全週休2日制土曜日,日曜日,祝日,夏季休暇,年末年始休暇,GW休暇,産前・産後休暇,育児休暇,介護休暇,特別休暇
どんな選考プロセスか: 面接2回（筆記試験あり）
書類選考→1次面接→最終面接→内定
※Web面接実施中
※選考フローは変動する可能性があります。

SSD向けLSI（SoC）開発における論理検証

設計・開発エンジニア（半導体）