{"id":108758,"url":"https://alion.io/job/cadence-senior-principal-functional-verification-engineer-applied-ml","title":"Senior Principal Functional Verification Engineer - Applied ML","company":{"id":4351,"name":"Cadence Design Systems","domain":"cadence.com","url":"https://alion.io/company/cadence","size_band":"5000+","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Workday","truth_index":{"grade":"B","score":81,"open_postings":109,"ghost_share":0,"stale_share":0.78,"repost_share":0,"time_to_fill_p50_days":58,"computed_at":"2026-11-12T10:38:37Z"}},"role":"AI/ML","role_family":"AI/ML","seniority":"lead","employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Petah Tikva, Israel"],"countries":["IL"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":137000,"max_usd":330000,"period":"year","method":"global_role_cell_scaled_by_country","sample_n":1119},"experience_years_min":10,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"AI Agents","optional":false},{"name":"Cadence Xcelium","optional":false},{"name":"Formal Verification","optional":false},{"name":"Machine Learning","optional":false},{"name":"Python","optional":false},{"name":"RAG","optional":false},{"name":"SystemVerilog","optional":false},{"name":"UVM","optional":false},{"name":"Verilog","optional":false}],"status":"closed","first_seen_at":"2026-04-12T00:00:00Z","employer_posted_date":"2026-04-12","last_verified_at":"2026-10-19T19:31:48Z","board_verified":false,"closed_at":"2026-10-19T19:31:48Z","days_open":190,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":190},"description":"At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.\nCadence is a pivotal leader in electronic design, building upon more than 30 years of computational software expertise. The company applies its underlying Intelligent System Design strategy to deliver software, hardware and IP that turn design concepts into reality. Cadence customers are the world’s most innovative companies, delivering extraordinary electronic products from chips to boards to systems for the most dynamic market applications including consumer, hyperscale computing, 5G communications, automotive, aerospace industrial and health. At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.\nPosition Overview\nWe are seeking a results driven Pre-Silicon Verification Engineer with extensive experience in function verification (formal verification and/or simulation/UVM verification) and a passion for leveraging artificial intelligence to redefine the verification landscape. In this role, you will operate at the forefront of semiconductor design and AI innovation, utilizing advanced AI tools to architect, design, and validate the next generation of verification methodologies. You will collaborate closely with a highly skilled team of machine learning engineers experienced in training large language models at scale, as well as accomplished software engineers with proven expertise in product development and deployment. This person will to be part of the ChipStack AI Super Agent team in San Jose, CA - working on the world’s first agentic AI platform that autonomously designs and verifies chips with up to 10× productivity gains. Cadence has been nominated as a Great Place to Work globally and in Brazil, and is also a Fortune 100 Best Companies to Work For.\nKey Responsibilities\nContribute to the application of machine learning techniques aimed at streamlining traditional pre-silicon functional verification methodologies like formal verification and UVM.\nDevelop agentic AI solutions using LLMs and latest ML technologies to accelerate pre-silicon Design Verification process.\nEmploy AI enhanced Electronic Design Automation (EDA) tools to improve and expedite both the design and verification lifecycles.\nEngage directly with customers to understand requirements and deliver innovative, practical verification strategies.\nCollaborate effectively with machine learning and software engineering teams to validate output correctness, efficiency, and quality.\nMaintain current knowledge of advancements in AI-powered hardware verification and actively participate in fostering internal knowledge growth.\nRequired Qualifications\nBS with a minimum of 10 years of experience OR MS with a minimum of 7 years of experience OR PhD with a minimum of 5 years of experience\nProven expertise of more than 3 years in at least one of the pre-silicon ASIC verification methodologies such as Formal, SV/UVM and/or OVM.\nAdvanced skills in debugging pre-silicon verification failures using waveform viewers and simulation analysis tools.\nHands-on experience with industry standard EDA tools (e.g., Jasper, Xcelium, IMC).\nStrong programming skills in Verilog, System Verilog and Python\nExcellent communication skills and the ability to thrive in a team-oriented environment.\nSelf-motivated, with a proactive approach to problem solving, continuous learning, and innovation.\nExposure to LLMs and ML technologies like RAG, RFT, RL, and Agentic frameworks would be a plus.\nThe Cadence Advantage\nThe opportunity to work on cutting-edge technology in an environment that encourages you to be creative, innovative, and to make an impact.\nCadence’s employee-friendly policies focus on the physical and mental well-being of employees, career development, providing opportunities for learning, and celebrating success in recognition of specific needs of the employees.\nThe unique “One Cadence - One Team” culture promotes collaboration within and across teams to ensure customer success\nMultiple avenues of learning and development available for employees to explore as per their specific requirement and interests\nYou get to work with a diverse team of passionate, dedicated, and talented individuals who go above and beyond for our customers, our communities, and each other-every day.\n We’re doing work that matters. Help us solve what others can’t.","description_format":"text","description_chars":4418,"description_truncated":false,"requirements":{"experience_years_min":10,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"phd","optional":false},"security_clearance":false,"languages":[]},"benefits":["Continuous learning"],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Artificial Intelligence","EDA Software","Semiconductor IP & Chip Design Services"],"lifecycle":[{"event":"open","at":"2026-04-12T00:00:00Z"},{"event":"close","at":"2026-10-19T19:31:48Z"}],"visa":[],"liveness":null,"pay":null,"html_url":"https://alion.io/job/cadence-senior-principal-functional-verification-engineer-applied-ml","json_url":"https://alion.io/job/cadence-senior-principal-functional-verification-engineer-applied-ml.json","meta":{"generated_at":"2026-11-13T23:57:49Z","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":47803,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-14T00: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":4351},"rest":"https://alion.io/mcp/rest/get_company?id=4351"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fcadence-senior-principal-functional-verification-engineer-applied-ml"},{"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%2Fcadence-senior-principal-functional-verification-engineer-applied-ml"},{"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%2Fcadence-senior-principal-functional-verification-engineer-applied-ml"},{"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/cadence-senior-principal-functional-verification-engineer-applied-ml\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fcadence-senior-principal-functional-verification-engineer-applied-ml"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":108758}},{"tool":"search_jobs","arguments":{"company":"cadence.com","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":108758},"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"}}