399,808open jobs
13,937companies
77,696added this week
Browse all
Salary
$119k – $285k per year (Estimated)
Location
In office (Petah Tikva)
Seniority
Principal · 10+ years exp
Employment
Full-Time
Overview
Company
Impact
Profile match
Cadence Design Systems is an American software company founded in 1988 that supplies the electronic design automation tools engineers use to design and verify integrated circuits. Its products cover digital synthesis and place-and-route, custom and analogue design, circuit simulation with the Spectre and Virtuoso families, functional verification, and increasingly system-level analysis for packaging, thermal behaviour and computational fluid dynamics. Headquartered in San Jose and listed on Nasdaq, it also licenses design intellectual property such as processor and interface blocks, and competes primarily with Synopsys and Siemens EDA.

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.

Cadence 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.

Position Overview

We 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.

Key Responsibilities

  • Contribute to the application of machine learning techniques aimed at streamlining traditional pre-silicon functional verification methodologies like formal verification and UVM.
  • Develop agentic AI solutions using LLMs and latest ML technologies to accelerate pre-silicon Design Verification process.
  • Employ AI enhanced Electronic Design Automation (EDA) tools to improve and expedite both the design and verification lifecycles.
  • Engage directly with customers to understand requirements and deliver innovative, practical verification strategies.
  • Collaborate effectively with machine learning and software engineering teams to validate output correctness, efficiency, and quality.
  • Maintain current knowledge of advancements in AI-powered hardware verification and actively participate in fostering internal knowledge growth.

Required Qualifications

  • BS 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
  • Proven 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.
  • Advanced skills in debugging pre-silicon verification failures using waveform viewers and simulation analysis tools.
  • Hands-on experience with industry standard EDA tools (e.g., Jasper, Xcelium, IMC).
  • Strong programming skills in Verilog, System Verilog and Python
  • Excellent communication skills and the ability to thrive in a team-oriented environment.
  • Self-motivated, with a proactive approach to problem solving, continuous learning, and innovation.
  • Exposure to LLMs and ML technologies like RAG, RFT, RL, and Agentic frameworks would be a plus.

The Cadence Advantage

  • The opportunity to work on cutting-edge technology in an environment that encourages you to be creative, innovative, and to make an impact.
  • Cadence’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.
  • The unique “One Cadence - One Team” culture promotes collaboration within and across teams to ensure customer success
  • Multiple avenues of learning and development available for employees to explore as per their specific requirement and interests
  • You 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.

We’re doing work that matters. Help us solve what others can’t.

Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
399,808 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

Similar stack
Same company
Petah Tikva
$131k – $237k per year • In office • Full-Time • 4+ years exp • Bachelor's Degree • Chantilly • Columbia
Bash
Python
TypeScript
JavaScript
Databases
PostgreSQL
Frontend
Angular
DevOps
Ansible
ArgoCD
AWS
Azure
buildah
CI/CD
Docker
Docker Swarm
FluxCD
GitLab
GitLab CI
Grafana
Helm
Kubernetes
Loki
Prometheus
Terraform
Twelve-Factor App
Podman
Apply
$108k – $195k per year • In office • Full-Time • 8+ years exp • Orlando
Bash
Python
DevOps
Ansible
AWS
Azure
CI/CD
Configuration Management
Docker
Git
GitLab
Kubernetes
OpenShift
Red Hat
Apply
$108k – $195k per year • In office • Full-Time • 8+ years exp • Bachelor's Degree • United States
Python
AI/ML
AI Agents
Amazon SageMaker
AWS Bedrock
AWS Bedrock AgentCore
LLM
DevOps
AWS
CI/CD
CloudFormation
Docker
IAM
Kubernetes
Platform Engineering
Terraform
Cybersecurity
FedRAMP
Apply
$131k – $237k per year • Remote/Hybrid • Full-Time • 10+ years exp • Bachelor's Degree • United States
PowerShell
Python
DevOps
Ansible
CI/CD
Configuration Management
GitOps
Terraform
VMWare
Management
Jira
Apply
$108k – $195k per year • Remote/Hybrid • Full-Time • 8+ years exp • Bachelor's Degree • United States
PowerShell
Python
DevOps
Ansible
Terraform
VMWare
Management
Jira
Apply
$27k – $71k per year (Estimated) • In office • Full-Time • 7+ years exp • Pune
C#
C++
Java
Python
DevOps
Azure
CI/CD
Git
QA
Pytest
Apply
In office • Full-Time • Seoul
C++
SystemVerilog
Verilog
Apply
$28k – $74k per year (Estimated) • In office • Full-Time • 7+ years exp • Bachelor's Degree • Noida
C++
Python
Chips/EDA
Cadence Pegasus
Apply
In office • Full-Time • Master's Degree • Beijing
C++
Chips/EDA
Cadence AMS Designer
Cadence Spectre
Cadence Xcelium
Apply
In office • Full-Time • Master's Degree • Hsinchu
C++
Apply
Remote/Hybrid • Full-Time • Bachelor's Degree • Petah Tikva • Haifa
Python
AI/ML
Anomaly Detection
LLM
Edge AI
Apply
$114k – $258k per year (Estimated) • In office • Full-Time • 8+ years exp • Petah Tikva
JavaScript
Python
Java
Java
Gradle
Maven
AI/ML
Claude
Claude Code
DevOps
CI/CD
Git
Management
ServiceNow
Apply
$84k – $212k per year (Estimated) • Remote/Hybrid • Full-Time • Petah Tikva
Go
Java
Python
Scala
Databases
Apache Kafka
Databricks
Kafka
AI/ML
Spark
DevOps
ArgoCD
AWS
Azure
CI/CD
FinOps
GCP
GitOps
Kubernetes
Apply
$65k – $219k per year (Estimated) • Remote/Hybrid • Full-Time • 8+ years exp • Petah Tikva
Java
Kotlin
Objective-C
Swift
AI/ML
Edge AI
Apply
$83k – $236k per year (Estimated) • Remote/Hybrid • Full-Time • 8+ years exp • Petah Tikva
C++
Go
JavaScript
Kotlin
Python
Scala
TypeScript
Databases
MySQL
PostgreSQL
Frontend
React.js
DevOps
AWS
CI/CD
GCP
Apply
See all jobs
This is one of many
399,808 more open roles from verified company boards, updated every day.