Lead architecture, development, and execution for Conformal logical equivalence checking and ECO technologies. Drive formal verification, scalability, performance, quality, debugging, and AI-powered innovation. Guide complex technical initiatives, resolve customer escalations, influence product strategy, collaborate across engineering and product teams, mentor senior engineers, and engage strategic semiconductor customers and partners.
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.
Required Qualifications- 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.
Cadence Design Systems Austin, Texas, USA Office
Austin, United States
Similar Jobs
Cloud • Computer Vision • Information Technology • Sales • Security • Cybersecurity
Design and develop high-reliability, highly concurrent Linux security sensor software for large-scale environments. Lead technical proposals, design reviews, planning, debugging, incident resolution, testing improvements, and cross-team architecture discussions. Mentor junior engineers, communicate technical tradeoffs, and influence engineering direction. Work across kernel, memory, process, filesystem, and networking subsystems, with opportunities to use eBPF and endpoint security technologies.
Top Skills:
CC++EbpfLinuxLinux KernelMultithreading
Artificial Intelligence • Big Data • Healthtech • Machine Learning • Analytics • Biotech • Generative AI
Develop and maintain scalable Python software, integrations, and web applications. Collaborate with QA, IT operations, analysts, and stakeholders in an Agile/Scrum environment. Design technical solutions, translate workflows into requirements, participate in code reviews and Scrum ceremonies, optimize relational and non-relational database queries, troubleshoot production issues, and improve application performance and security.
Top Skills:
AmqpAWSCSSCsvDjangoDockerFlaskHTMLJavaScriptJSONMongoDBMySQLNoSQLPythonRdsReactRestSoapXML
.jpg)
Marketing Tech • Mobile • Software
Leads the design, development, and rollout of integrations and data pipelines for BrazeAI Decisioning Studio. Builds fault-tolerant, event-driven ingestion and activation systems across warehouses, APIs, file drops, and streaming sources. Owns production reliability, observability, incident resolution, multi-region compliance, and data residency. Partners with data science and product teams, mentors engineers, and establishes technical direction and engineering standards.
Top Skills:
Amazon RedshiftAPIsBigQueryDatadogGCPKafkaKubernetesPythonSnowflakeSQL
What you need to know about the Austin Tech Scene
Austin has a diverse and thriving tech ecosystem thanks to home-grown companies like Dell and major campuses for IBM, AMD and Apple. The state’s flagship university, the University of Texas at Austin, is known for its engineering school, and the city is known for its annual South by Southwest tech and media conference. Austin’s tech scene spans many verticals, but it’s particularly known for hardware, including semiconductors, as well as AI, biotechnology and cloud computing. And its food and music scene, low taxes and favorable climate has made the city a destination for tech workers from across the country.
Key Facts About Austin Tech
- Number of Tech Workers: 180,500; 13.7% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Dell, IBM, AMD, Apple, Alphabet
- Key Industries: Artificial intelligence, hardware, cloud computing, software, healthtech
- Funding Landscape: $4.5 billion in VC funding in 2024 (Pitchbook)
- Notable Investors: Live Oak Ventures, Austin Ventures, Hinge Capital, Gigafund, KdT Ventures, Next Coast Ventures, Silverton Partners
- Research Centers and Universities: University of Texas, Southwestern University, Texas State University, Center for Complex Quantum Systems, Oden Institute for Computational Engineering and Sciences, Texas Advanced Computing Center
