{"id":4006689,"url":"https://alion.io/job/gravity-tjs-rojikku-moderu","title":"TJS ロジック検証用モデル開発","company":{"id":2677358,"name":"Gravity","domain":"e-gravity.co.jp","url":"https://alion.io/company/e-gravity","size_band":"201-500","is_staffing_agency":false,"employer_type":"staffing","is_intermediary":false,"listed_via":null,"ats_vendor":"HERP","truth_index":{"grade":"A","score":95,"open_postings":56,"ghost_share":0,"stale_share":0,"repost_share":0,"time_to_fill_p50_days":162,"computed_at":"2026-11-14T05:58:10Z"}},"role":"Hardware","role_family":"Hardware","seniority":null,"employment_type":null,"work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Yokohama, Japan"],"countries":["JP"],"hiring_countries":[],"hiring_countries_total":0,"salary":{"min":220000,"max":350000,"currency":"JPY","period":"month","gross":null,"usd_annual":26772},"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Cadence Xcelium","optional":false},{"name":"Linux","optional":false},{"name":"Synopsys VCS","optional":false},{"name":"SystemVerilog","optional":false}],"status":"live","first_seen_at":"2026-11-10T05:28:28Z","employer_posted_date":"2026-11-10","last_verified_at":"2026-11-14T16:58:41Z","board_verified":true,"closed_at":null,"days_open":4,"trust":{"level":"ok","repost_count":0,"flags":["company_stale"],"days_open":3},"description":"TJS ロジック検証用モデル開発\nDescription\nプロジェクト概要\n半導体・LSI開発におけるロジック検証用モデルの設計・開発および検証を担当するプロジェクトです。\n要求仕様をもとに設計仕様・検証仕様を検討し、SystemVerilogを用いたRTLコーディングや検証環境の構築、ロジック検証まで一貫して携わっていただきます。\nロジック設計や検証の経験を活かし、製品の品質・信頼性を支える重要なポジションです。\n業務内容\nロジック検証用モデルの設計・開発および検証業務を担当していただきます。\n要求仕様の確認・分析\n要求仕様に基づく設計仕様の検討・作成\n検証仕様の検討・作成\nSystemVerilogを用いたRTLコーディング\nロジック検証用モデルの設計・実装\n検証環境の構築\nEDAツールを使用したシミュレーション・検証\n検証結果の確認・分析および不具合対応\n開発環境・使用技術\n言語：SystemVerilog\n設計手法：RTL設計\nEDAツール：\nSynopsys VCS\nCadence Xcelium\nその他、ロジック設計・検証向けEDAツール\nOS：Linux（尚可）\nスクリプト言語：各種Script言語（尚可）\n担当工程\n要求仕様の確認・分析\n設計仕様検討\n検証仕様検討\nRTL設計・コーディング\n検証環境構築\nロジック検証\n検証結果分析・評価\nRequirements\nプロジェクト概要\n半導体・LSI開発におけるロジック検証用モデルの設計・開発および検証を担当するプロジェクトです。\n要求仕様をもとに設計仕様・検証仕様を検討し、SystemVerilogを用いたRTLコーディングや検証環境の構築、ロジック検証まで一貫して携わっていただきます。\nロジック設計や検証の経験を活かし、製品の品質・信頼性を支える重要なポジションです。\n業務内容\nロジック検証用モデルの設計・開発および検証業務を担当していただきます。\n要求仕様の確認・分析\n要求仕様に基づく設計仕様の検討・作成\n検証仕様の検討・作成\nSystemVerilogを用いたRTLコーディング\nロジック検証用モデルの設計・実装\n検証環境の構築\nEDAツールを使用したシミュレーション・検証\n検証結果の確認・分析および不具合対応\n開発環境・使用技術\n言語：SystemVerilog\n設計手法：RTL設計\nEDAツール：\nSynopsys VCS\nCadence Xcelium\nその他、ロジック設計・検証向けEDAツール\nOS：Linux（尚可）\nスクリプト言語：各種Script言語（尚可）\n担当工程\n要求仕様の確認・分析\n設計仕様検討\n検証仕様検討\nRTL設計・コーディング\n検証環境構築\nロジック検証\n検証結果分析・評価\nPreferred Experiences\n検証項目の作成経験\n検証環境の構築経験\nSVA（SystemVerilog Assertions）を用いた検証経験\nLinux環境での開発・検証経験\nShell、Python等のスクリプト言語を用いた検証効率化の経験\nRTLコーディングから検証まで一貫して対応した経験\nWe are looking for\nロジック設計・検証に関する基礎知識と実務経験をお持ちの方\n仕様を理解し、設計・検証方針を主体的に検討できる方\nSystemVerilogやEDAツールを活用した開発経験をお持ちの方\n課題や不明点を積極的に確認し、自律的に業務を推進できる方\nチーム内で円滑にコミュニケーションを取りながら業務を進められる方\nWorking Conditions\nSalary\n年収350万～500万\n月給制\n月額220,000円～350,000円\n基本給：220,000円〜250,000円\n※技術手当、家族手当、インセンティブなど含む。その他交通費手当等別途支給\n諸手当\n◆技術手当\n◆残業手当\n◆通勤手当（実費支給）\n◆家族手当（配偶者１万円、子５千円）\n◆特別手当など\n昇給制度\n◆給与改定年１回\n賞与\n◆賞与年6回（夏季1回、冬季1回、インセンティブ4回）\n※ご経験・能力を考慮の上、規定に基づき金額及び給与体系を決定。\nLocation\n横浜地区\nJob Type\n正社員\nWork hours\n9:00～18:00\n※残業月平均１３H\n◆週休２日制（土曜・日曜・祝日）\n※年に数回（土曜日）オンライン勉強会あり\n◆リフレッシュ休暇（毎年自由に休日設定可能）\n◆有給奨励日（夏季、年末年始、GW）\n◆年次有給\n◆慶弔休暇\n◆特別休暇\n◆裁判員休暇\n◆生理休暇\n試用期間\n◆試用期間6ヶ月、業務・待遇変更なし\n受動喫煙防止対策\n◆あり 屋内禁煙\nProbation period\n6ヶ月\nBenefits\n◆各種社会保険完備（健康保険、厚生年金、雇用保険、労災）\n健康保険組合：首都圏デジタル産業健康保険組合\n◆保険組合契約保養所（伊豆）\n◆福利厚生サービス（WELBOX：無料eラーニング、宿泊施設・映画・グルメ・ショッピング割引、子育て教育サービスなど）\n◆健康診断（被扶養者健康診断、人間ドック、婦人科健診など）\n◆地方上京単身者、転居に伴う単身者支援制度\n※適用には諸条件有\n・家賃半額負担！※（居住地域により負担上限金額あり）\n・引っ越し・移動費一部補助\n・初期費用会社一部負担（敷金、礼金など）\n制度\n◆産前産後休業制度\n◆育児休業制度\n◆介護休業制度\n◆育児時短勤務制度\n◆慶弔金制度\n◆資格報奨金\nその他\n◆副業可（承認制）","description_format":"text","description_chars":2297,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[{"language":"Japanese","level":"Advanced (C1)","optional":false}]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Custom Software Development","Engineering Services"],"lifecycle":[{"event":"open","at":"2026-11-10T07:32:19Z"}],"visa":[],"liveness":{"score":90,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.903,"p_room":1,"age_days":4,"expected_fill_days":162,"reasons":["conf:3","velocity","win:early"],"computed_at":"2026-11-14T05:58:10Z"},"pay":{"stated_usd_annual":26772,"is_top_pay":false},"html_url":"https://alion.io/job/gravity-tjs-rojikku-moderu","json_url":"https://alion.io/job/gravity-tjs-rojikku-moderu.json","meta":{"generated_at":"2026-11-14T18:35:55Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":22230,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-15T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.1,"usd":0.01,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":2677358},"rest":"https://alion.io/mcp/rest/get_company?id=2677358"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fgravity-tjs-rojikku-moderu"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"free","price":{"credits":0,"usd":0},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fgravity-tjs-rojikku-moderu"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.1,"usd":0.01},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fgravity-tjs-rojikku-moderu"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/gravity-tjs-rojikku-moderu\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fgravity-tjs-rojikku-moderu"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":4006689}},{"tool":"search_jobs","arguments":{"company":"e-gravity.co.jp","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":4006689},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}