SSD向けLSI(SoC)フロントエンド(UVM・論理検証)エンジニア_K2608 - キオクシア株式会社の求人・転職情報

仕事内容

【職務内容】 ●LSIの論理検証戦略の策定業務 ●LSIの論理検証実施業務【具体的な仕事内容】 ① 検証戦略策定業務検証対象(DUT)の仕様や実装を考慮し、効果的かつ効率的に検証品質を向上させるための戦略を立てます。具体的には、ベクタベース検証や機能等価性検証(フォーマル検証)の適用判断や、検証チームの活動方針を策定します。 ② 検証実施業務: UVM(Universal Verification Methodology)を基にした検証環境を構築します。 ●カバレッジ取得環境の設計 ●チェッカの作成と組み込み ●性能モニタの作成検証項目やテストシナリオ・アサーション等を作成し、ベクタベース検証とフォーマル検証及び検証結果の取り纏めを実施します。 ※入社後の適正に応じて、将来的に論理検証だけではなく、論理設計まで活躍の幅を広げてご活躍いただける機会もございます。 [従事すべき業務の変更の範囲] (雇入れ直後)上記の通り (変更の範囲)その他会社が指示する業務【使用ツール】 ●作業環境:Linux/Windows ●使用言語:SystemVerilog、Verilog-HDL、C/C++、スクリプト言語(Python、Perl、Rubyなど) ●ツール:Verilogシミュレータ, 波形ビューワー, Formal検証ツール, 検証IP(VIP)

この求人の魅力

当社の主力製品であるSSDは、特に生成AI用途において急速に成長を遂げています。この成長の波に乗りながら、私たちと共に新しい挑戦に取り組むことができます。開発は決して簡単ではありませんが、自分たちの製品が世界中のお客様に認められ、事業が拡大していく様子を共に体感できることに大きな魅力を感じていただけると思います。

採用条件

必須条件

【必須要件】 ※下記全てを有する方 ●LSI/SoCの論理検証業務の経験(5年以上) ●Verilog-HDL, SystemVerilogを使った検証経験 ●UVMベースの環境での検証経験 ●スクリプト言語を使用した開発環境整備の経験 ### 【学歴】 ◆大学・大学院卒

歓迎要件

【歓迎要件】 ●UVM検証環境構築の経験 ●EDA/IPベンダーとの渉外対応経験 ●Formal検証の経験 ●AMBA規格の知識 ●JEDECが定めるDDRおよびLPDDRメモリ規格についての知見 ●PCI-SIGが策定したPCIeインターフェース規格についての知見 ●英語力(TOEIC550点以上相当)

雇用形態

正社員

試用期間

正社員(試用期間2か月、契約期間の定めなし)

想定年収

年収下限～上限

550～1,260万円

給与備考

※上記の下限は初任給(学卒新人)です。経験・能力を考慮し決定 ※各種手当には、住宅費補助、家賃補助、次世代育成手当、20時間/月相当の時間外勤務手当含む。 ※各種手当には、住宅費補助、家賃補助、20時間/月相当の時間外勤務手当含む。昇給年1回、賞与年2回(7月、12月)、交通費支給(規定による)、在宅勤務制度、財形貯蓄制度、企業年金制度、従業員持株制度、健康保険、雇用保険、労災保険等 ※管理職採用の場合、年俸制。フレックスタイム制、次世代育成手当、住宅費補助、時間外勤務手当は対象外 ※場合により嘱託採用の可能性あり

モデル給与

・950万円/36歳(既婚・子2人/月給53万円+各種手当+賞与) ・680万円/28歳(独身/月給39万円+各種手当+賞与)

勤務地

神奈川県横浜市栄区 ◆横浜テクノロジーキャンパス(神奈川県横浜市栄区) ・JR大船駅徒歩7分 ●敷地内禁煙(屋外喫煙可能場所あり) [就業場所の変更の範囲] (雇入れ直後)上記の通り ※在宅勤務制度利用者は、自宅その他在宅勤務制度実施基準で定める場所を含む (変更の範囲)会社が指定する場所 ※配置転換や転勤・出向などの人事異動等により、就業場所を変更することがある。

勤務時間

8時30分～17時15分(※フレックスタイム制)

休日・福利厚生

休日・休暇

年間休日125日(2026年度)、完全週休2日制(土日)、祝日、GW、夏季、年末年始、有給休暇、赴任休暇、介護休暇、妊娠保護休暇、看護等休暇等

福利厚生・諸手当

・社内e-leaningシステムにて半導体一般・NANDフラッシュメモリ・AI導入・語学などの教育が受講可能です。・展示会への派遣や社外教育の受講も不定期に実施しています。・キャリア入社者用技術教育プログラム(フラッシュメモリ技術SSD技術等の各技術分野の講座) ・部門内教育プログラム(SSDアーキテクチャ/論理回路/SoC開発等) ・測定器ベンダーやEDAベンダーとの直接的技術交流やセミナーへの参加独身寮、単身寮、家族社宅昇給年1回、賞与年2回(7月、12月)、交通費支給(規定による)、在宅勤務制度、財形貯蓄制度、企業年金制度、従業員持株制度、健康保険、雇用保険、労災保険等

社会保険

健康保険、雇用保険、労災保険等

受動喫煙対策

●敷地内禁煙(屋外喫煙可能場所あり)

選考形式

選考フロー

【Web面接実施中】

キオクシア株式会社の詳細情報

設立年月日

2017年4月1日

代表者

早坂伸夫

資本金

100億円

従業員数

10,156名

本社所在地

東京都港区芝浦3-1-21 田町ステーションタワー

企業HP

https://www.kioxia.com/ja-jp/top.html

事業内容

メモリ及び関連製品の開発・製造・販売事業及びその関連事業

キオクシア株式会社が募集している他の求人・転職情報

キオクシア株式会社

UFSのファームウェア評価・開発業務 _K2616

テストエンジニア・テスター / テックリード / 研究開発（R&D）エンジニア

550～1,260万円

神奈川県（横浜市）

詳細を見る

キオクシア株式会社

エンタープライズSSDファームウェアテスト※製品・業界不問※_K2626

SET（テスト自動化・アーキテクト） / テストエンジニア・テスター / システムエンジニア（業務系）

550～1,260万円

神奈川県（横浜市）

詳細を見る

キオクシア株式会社

NANDコントローラLSI(SoC)の高速デジタル回路設計・検証_K2620

組み込みエンジニア / システムアーキテクト

550～1,260万円

神奈川県（横浜市）

詳細を見る

キオクシア株式会社

半導体開発DXエンジニア(IT/AI技術で次世代メモリ開発を加速)_Y2620

AI・機械学習（LLM）エンジニア

550～1,260万円

三重県（四日市）

詳細を見る

キオクシア株式会社

クライアントSSD製品の組み込みソフトウェアエンジニア_K2659

組み込みエンジニア

550～1,260万円

神奈川県（横浜市）

詳細を見る

キオクシア株式会社

歩留・品質向上のためのラインデータ監視分析・データサイエンス・物理化学解析エンジニア(データ分析・不良モデル解明/AI異常検知)※理工系卒・業界未経験可※_Y2639

データサイエンティスト

550～1,260万円

三重県（四日市）

詳細を見る

キオクシア株式会社

半導体工場のDX推進エンジニア(後工程における生産システム・Smart FAB化)※業界経験不問※_Y2608

組み込みエンジニア / IoTエンジニア / AI・機械学習（LLM）エンジニア

550～1,260万円

三重県（四日市）

詳細を見る

キオクシア株式会社

社内IT企画・DX推進エンジニア(業務システム/設計・開発拠点支援)_K2612

社内SE / システムエンジニア（業務系） / システムエンジニア（Web）

550～1,260万円

横浜テクノロジーキャンパス(神奈川県（横浜市）

詳細を見る

キオクシア株式会社

社内ITインフラ/情報セキュリティ企画・DX推進エンジニア(設計・開発拠点支援)_K2613

セキュリティエンジニア（インフラ） / ネットワークエンジニア / 社内SE

550～1,260万円

神奈川県（横浜市）

詳細を見る

この企業の求人一覧を見る

AI・機械学習（LLM）エンジニアの他の求人・転職情報

株式会社本田技術研究所

【181】_TE_【東京勤務】運転支援・自動運転システムの研究開発(知能化領域)

AI・機械学習（LLM）エンジニア / MLopsエンジニア / 研究開発（R&D）エンジニア

570～1,040万円

東京都（港区）

詳細を見る

Astemo株式会社

629-6_車載ソフトウェア・サイバーセキュリティエンジニア/車載製品ソフトウェアの安全と継続進化を支える検証基盤と製品セキュリティプロセス整備【東京・神奈川】

組み込みエンジニア / データサイエンティスト / AI・機械学習（LLM）エンジニア

812～928万円

東京都（渋谷区桜丘町）

詳細を見る

JAPAN AI株式会社

【JAPAN AI】AI AGENT CS(HR・CS AGENT担当)

AI・機械学習（LLM）エンジニア / プロダクトマネージャー（PdM） / 社内SE

500～750万円

東京都（新宿区）

詳細を見る

株式会社テクノプロ　コンサルティング・パートナーズ社

【DXSOL_ATC_DX05】生成AIエンジニア・自然言語処理×DX推進メンバーDX05(受託開発・DXソリューション統括部)

AI・機械学習（LLM）エンジニア / データエンジニア

600～900万円

東京都（港区）

詳細を見る

株式会社テクノプロ　コンサルティング・パートナーズ社

【DXSOL_ATC_DX02】コンピュータービジョン技術を活用した受託開発プロジェクトのプレイングマネージャー(DB エンジニア/プロジェクトリーダー)(PM)DX02 (受託開発)

AI・機械学習（LLM）エンジニア / プロジェクトマネージャー（PM） / バックエンドエンジニア（サーバーサイドエンジニア）

600～900万円

東京都（港区）

詳細を見る

株式会社テクノプロ　コンサルティング・パートナーズ社

【DXSOL_ATC_DX04】AI×タレントマネジメントソリューション開発エンジニア DX04(受託開発・DXソリューション統括部)

AI・機械学習（LLM）エンジニア / データエンジニア / クラウドエンジニア / フロントエンドエンジニア / バックエンドエンジニア（サーバーサイドエンジニア）

600～900万円

東京都（港区）

詳細を見る

株式会社トリプルアイズ

AI×DX技術リーダー(フルスタックオーケストレーター)|1.5億円規模の大型案件・本社請負開発可

AI・機械学習（LLM）エンジニア / クラウドエンジニア / プロジェクトマネージャー（PM） / テックリード

500～900万円

東京都（港区）

詳細を見る

株式会社ジール

データ活用ソリューション提案営業(アカウント営業・シニア)

AI・機械学習（LLM）エンジニア

730～980万円

東京都（品川区）

詳細を見る

株式会社ジール

データ活用ソリューション提案営業(アカウント営業・ジュニア)

データアーキテクト / AI・機械学習（LLM）エンジニア / 運用・監視・保守（インフラ）

500～730万円

東京都（品川区）

詳細を見る

AI・機械学習（LLM）エンジニアの求人を見る