Software Engineer II - Austin, United States
Originally posted 1 September 2026 by the employer.
Cadence Conformal team develops solutions like Conformal LEC, Conformal ECO, and Conformal Low Power.
About the role
This role involves developing IC design and verification solutions, including Conformal Logical Equivalence Checking (LEC), Conformal ECO (CECO), and Conformal Low Power (CLP), along with AI-powered verification technologies.
What you'll do
- Develop C/C++ solutions for IC design and verification
- Implement and optimize data structures and algorithms
- Debug and maintain large-scale software architectures
- Contribute to Conformal Logical Equivalence Checking (LEC) development
- Advance AI-powered verification technologies
What you'll need
- Strong C/C++ development experience
- Deep understanding of data structures, algorithms, debugging, object-oriented design, and large-scale software architecture
- Strong knowledge of digital design flows, logic synthesis, formal methods, and RTL-to-netlist verification
- Expertise in semiconductor design methodologies
- Degree in Computer Science, Electrical Engineering, Computer Engineering, or a related technical field
Skills: Conformal LEC, formal verification, logic equivalence checking, EDA software development, AI-related innovation
This role has been open 43 days — well below the 82-day median for EDA/CAD Engineering roles.
EDA/CAD Engineering · EDA Tools
|
Open roles in category
687
|
Median days open
82 d
|
Median salary
$195k
|
See the full market breakdown ▾Category comparison, skills in demand, and who else is hiring
| Metric | Cadence Design Systems | All employers we track in this specialty (687 roles · 74 employers) |
|---|---|---|
| Open roles in this specialty | 153 | 687 |
| Open roles in the wider Physical Implementation family | 176 | 1463 · 108 employers |
| Median days open | 167 d | 82 d (+85 d vs this employer) |
| Median salary (USD postings) | — | $195k |
Skills observed across this category: Conformal LEC, formal verification, logic equivalence checking, EDA software development, AI-related innovation
Who's hiring in this category
- Cadence Design Systems (this employer) · 157 open roles · median 169 d
- Synopsys · 65 open roles · median 37 d
- Micron Technology · 42 open roles · median 94 d
- Qualcomm · 41 open roles · median 65 d
- NVIDIA · 40 open roles · median 78 d
- GlobalFoundries · 30 open roles · median 48 d
How we counted: 687 open EDA/CAD Engineering (EDA Tools) roles from 74 employers tracked in the SemiconductorJobs index, counted 14 Oct 2026. Specialty figures count only roles carrying this exact specialty label, so an employer's related work in neighbouring specialties is not included there — it is counted in the wider Physical Implementation family row. Figures refresh nightly.