【急募】渋谷駅至近！最先端半導体の論理合成・等価検証エンジニア（即日～長期）（16029212）

給与

月給450,000円～700,000円
※想定年収5,400,000円～8,400,000円

上記額にはみなし残業代を含みます。※超過分は全額支給いたします。
みなし残業代 60,825円～ 94,600円／月
みなし残業時間 20時間／月

【試用期間】試用期間あり
試用期間の長さ：2ヶ月
雇用形態、給与は本採用時と同じです。

交通費別途支給あり

勤務地

東京都渋谷区

東京都渋谷区南平台町（最寄り駅：渋谷駅）

アクセス

渋谷駅から徒歩8分

テクノヒューマンパワー株式会社

休日休暇

土日祝休

休日休暇

完全週休2日制
◇ 年間休日120日以上
◇ 夏季休暇
◇ 年末年始休暇
◇ ゴールデンウイーク休暇

勤務時間

9:00～18:00
実働時間：8時間/日
実働８時間＋休憩１時間
月残業約20時間程度

仕事内容

\\ここがポイント！//
【好アクセス】人気の渋谷エリア。最新の設備が整った環境での業務です。
【即日参画OK】 2026年、新たなプロジェクトで即戦力としてご活躍いただけます。
【技術追求】大規模・微細化が進む半導体開発において、設計品質を左右する重要なプロセスを担います。

＜業務内容＞
RTLからネットリストへの橋渡し！
半導体デジタル回路設計における「論理合成」および「等価検証」フェーズをトータルに担当していただきます。

【具体的な業務フロー】
　・RTL受け入れチェックと
　　フィードバック
　　設計チームから届くRTLの構文
　　チェックやルール確認を行い、
　　合成上の懸念点が
　　あれば修正提案を行います。
　・論理合成の実行
　　合成ツールを用い、制約条件に
　　基づいたネットリストの生成を
　　行います。
　・論理合成結果の解析と
　　フィードバック
　　面積、電力、タイミング等の
　　観点から合成結果を精査し、
　　フィードバック。
　・論理等価検証とリリース
　　RTLと合成後のネットリストに
　　論理的な差異がないかを検証。
　　解析を終えた確実なネット
　　リストを後段のレイアウト
　　工程へリリースします。

応募資格・条件

【必須スキル】
・半導体の論理合成および
　等価検証の実務経験
・以下のツールのうち
　いずれか複数の使用経験
　　論理合成：DesignCompiler
　　　　　　　Fusion Compiler (Synopsys)
　　　　　　　Genus (Cadence)
　　等価検証：Formality (Synopsys)
　　　　　　　Conformal (Cadence)
EDAツールのスクリプト（Tcl等）による実行環境の理解がある方を求めています。

【歓迎スキル】
・タイミング解析と改善提案のスキル
　STA結果のViolationに対し、
　ゲートレベルの
　構成や制約の見直し、
　RTLへの修正フィードバックなど、
　具体的な改善策を提案できる方は
　優遇いたします。

待遇・福利厚生

・社会保険完備
・交通費支給あり
・ミニボーナス支給あり（年2回）
・昇給あり（年1回）
・勤続10年表彰あり
・キャリアアップ教育の一環としてeラーニング受講可能

※感染症対策として以下の取り組みを行っています
◇ 消毒液設置
◇ 定期的な換気
◇ オンライン選考OK
◇ 資格取得支援・手当あり