Software Engineer II

Cadence, Inc.
Austin, TX, United States
5 days ago
Apply on www.themuse.com
Prepare application

Role details

Contract type
Permanent contract
Employment type
Full-time (> 32 hours)
Working hours
Regular working hours

Tech stack

C++ (Programming Language) Computer Engineering Data Structures Software Debugging Logic Synthesis of Circuits Object-Oriented Software Development Software Architecture Information Technology Formal Methods

Requirements

  • Strong C/C++ development experience and a 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, RTL-to-netlist verification, and semiconductor design methodologies.
  • Excellent analytical, problem-solving, collaboration, and communication skills in a geographically distributed engineering environment.
  • Degree in Computer Science, Electrical Engineering, Computer Engineering, or a related technical field.

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

About the company

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

About the Team

The Conformal team is a diverse group of innovative, talented, and passionate engineers committed to delivering cutting-edge verification technologies and trusted solutions to leading semiconductor and high-technology customers around the world. We tackle challenging technical problems in an enjoyable, collaborative, and supportive environment.

Our team develops must-have IC design and verification solutions, including Conformal Logical Equivalence Checking (LEC), Conformal ECO (CECO), and Conformal Low Power (CLP), along with next-generation AI-powered verification technologies that help shape modern verification methodologies.

Apply for this position

This job is hosted externally. Click below to view the full posting and apply.

Apply on www.themuse.com
Prepare application

Good distractions

Talks and stories from around this role — technically off-topic, practically not.

1:18 min

Defining formal methods for software verification

Lars Hupel · World Congress 2023

4:42 min

Building robust data structures with structs and bound functions

Rainer Stropek Rainer Stropek · World Congress 2021

2:08 min

The vending machine trap in software debugging

Jen Callou Jen Callou · Europe 2026 Virtual

4:18 min

Prioritizing communication and structural awareness over strict tool mastery

Liam Hurrel +1 · World Congress 2021

59 sec

State of the art in software verification

Onur Kasimlar Onur Kasimlar · World Congress 2025

1:20 min

Identifying multi-disciplinary talent for developer experience engineering roles

Hazal Mestci +1 · Coffee With Developers

Videos

See all

Related articles

See all