187 jobs for "Formal Verification Engineer"

Lead Product Engineer

At Cadence Design Systems - Bangalore

Posted on Sep 16

View job Apply on company site

Principal Software Engineer

At Cadence Design Systems - Noida

Posted on Sep 16

View job Apply on company site

CPU Design Verification Engineer

At Apple - Beaverton

Posted on Oct 19

View job Apply on company site

SOC Design Verification Engineer

At Apple - Irvine

Posted on Oct 19

View job Apply on company site

Lead Product Engineer

At Cadence Design Systems - Bangalore

Posted on Sep 16

View job Apply on company site

SOC Design Verification Engineer

At Apple - Irvine

Posted on Oct 19

View job Apply on company site

Lead Design Engineer

At Cadence Design Systems - Hyderabad

Posted on Aug 9

View job Apply on company site

Lead Design Engineer

At Cadence Design Systems - Pune

Posted on Jul 23

View job Apply on company site

SOC Design Verification Engineer

At Apple - Irvine

Posted on Oct 19

View job Apply on company site

Lead Design Engineer

At Cadence Design Systems - Bangalore

Posted on Jul 12

View job Apply on company site

SOC Design Verification Engineer

At Apple - Irvine

Posted on Oct 19

View job Apply on company site

Principal Design Engineer

At Cadence Design Systems - Bangalore

Posted on Jun 23

View job Apply on company site

SOC Design Verification Engineer

At Apple - Irvine

Posted on Oct 19

View job Apply on company site

Lead Design Engineer

At Cadence Design Systems - Pune

Posted on Jun 18

View job Apply on company site

CPU Microarchitect/RTL Engineer

At Apple - Santa Clara

Posted on Oct 17

View job Apply on company site

Principal Application Engineer

At Cadence Design Systems - Shanghai

Posted on Dec 8

View job Apply on company site

CPU Clock Implementation Engineer

At Apple - Santa Clara

Posted on Oct 17

View job Apply on company site

CPU Processor Power Management Verification Engineer

At Apple - Santa Clara

Posted on Oct 17

View job Apply on company site

Sr Principal Design Engineer

At Cadence Design Systems - Bangalore

Posted on Sep 3

View job Apply on company site

Sr Principal Design Engineer

At Cadence Design Systems - Bangalore

Posted on Sep 1

View job Apply on company site

Cadence Design Systems

Lead Product Engineer

Bangalore, IndiaPosted Sep 16, 2026

Apply on company site View full job

Why you should apply for a job to Cadence Design Systems:

Ranked as one of the Best Technology Companies in 2024
4.4/5 in overall job satisfaction
4.4/5 in supportive management
87% say women are treated fairly and equally to men
89% would recommend this company to other women
87% say the CEO supports gender diversity

Ratings are based on anonymous reviews by Fairygodboss members. See all reviews ›

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

Job responsibilities:

Perform Product Engineering work for Genus Synthesis Solution (Genus), a logic synthesis software used for synthesizing a design described in a high-level language into logic gates, to achieve best-in-class Power, Performance & Area (PPA) for latest digital ASICs
Understand the internal flow within the Genus for newly developed features and verify the correctness and perform experiments to determine an optimal solution
Solve new and challenging problems in physical aware synthesis space with the goal to bridge the gap between logic synthesis and place and route
Support the field engineers in Cadence Design Systems, Inc. and its customers in using Genus. In addition, interface between R&D and customer as the first line of support for the R&D and the customers
Provide support to verify the interoperability of Genus with other digital logic software tools within Cadence Design Systems, Inc. to provide seamless flows
Understand the future requirements of the software by interfacing with the internal and external customers of Genus and document the Product Requirement Specifications (PRS) for newly developed features using the standard documentation software

Preferred Qualifications:

Experience in design and EDA with an emphasis on Cadence tools of Synthesis, Physical Design & timing closure at 20nm or below nodes
Prior Designer, Product Engineering or Application Engineering experience in digital implementation, especially synthesis
Understand industry challenges in digital implementation & sign off domain with exposure to 28nm & below foundry process nodes
Industry experience with EDA tools in the IC digital implementation flow, preferably on Genus and Innovus
Experience in Logic Design and Synthesis, Formal Verification, Low Power design, Physical Design and Timing Closure for block level and top level designs
Automation skills using Perl, Tcl and shell scripting essential
Knowledge of HDL - Verilog or System Verilog is preferred
Must have logic design and timing closure skills
Strong analysis skills required to debug complex timing closure, logical and physical design problems. Ability to perform root-cause analysis to suggest solutions to customers and provide feedback to R&D

Qualifications

BE/BTech/ME/MS/MTech or equivalent

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

About Cadence Design Systems

Cadence is a pivotal leader in computational software.

Size: 10,000+ employees
Industry: Technology: Manufacturing

View company profile