> Markdown version of [/jobs/ext/2683824-software-engineering-director](https://www.wearedevelopers.com/jobs/ext/2683824-software-engineering-director). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Software Engineering Director - **Company:** Cadence Design Systems, Inc. - **Location:** Austin, TX, United States - **Contract:** Permanent contract - **Skills:** Artificial Intelligence, Algorithm Design, C++ (Programming Language), Computer Engineering, Data Structures, Software Debugging, Logic Synthesis of Circuits, Perl (Programming Language), Formal Verification, Python (Programming Language), Machine Learning, Object-Oriented Software Development, Process Driven Development, Software Architecture, Shell Script, Software Engineering, Software Systems, Tcl (Programming Language), Scripting, Information Technology, Formal Methods - **Published:** September 2, 2026 - **Apply:** https://cadence.wd1.myworkdayjobs.com/External_Careers/job/AUSTIN/Software-Engineering-Director_R56213 ## About the Role * Extensive EDA software development experience, with strong expertise in formal verification, logic equivalence checking, ECO, synthesis, or related digital design technologies. * Strong C/C++ development experience and a deep understanding of data structures, algorithms, debugging, object-oriented design, and large-scale software architecture. * Proven track record of leading complex, high-impact technical initiatives and delivering production-quality software from concept through deployment. * Strong knowledge of digital design flows, logic synthesis, formal methods, RTL-to-netlist verification, and semiconductor design methodologies. * Ability to provide cross-functional technical leadership and influence product direction across organizational boundaries. * Excellent analytical, problem-solving, collaboration, and communication skills in a geographically distributed engineering environment. * Ph.D. degree in Computer Science, Electrical Engineering, Computer Engineering, or a related technical field., * Deep experience with commercial EDA products for formal verification, LEC, ECO, low-power verification, synthesis, or adjacent technologies. * Knowledge of AI/ML technologies and experience applying AI techniques to EDA, verification, debug, or engineering-productivity workflows. * Experience with scripting languages such as Tcl, Python, Perl, or shell scripting. * Experience working in Linux/Unix development environments and optimizing large-scale, performance-sensitive software systems. * Experience partnering directly with leading semiconductor customers on complex technical requirements and escalations., * Recognized as a technical leader in formal verification and ECO technologies. * Drives innovation and technical direction beyond immediate project or team boundaries. * Translates customer challenges and market needs into differentiated, scalable product capabilities. * Accelerates the adoption of AI technologies across the Conformal product family. * Develops technical talent and raises engineering quality across the organization. ## Description We are seeking a T6-level technical leader to guide the architecture, development, and execution of Conformal LEC and ECO technologies. This role will drive innovation in formal verification and ECO, lead complex technical initiatives, and help advance AI-powered capabilities across Conformal. The successful candidate will combine deep technical expertise with broad product influence, cross-functional leadership, and strong customer engagement., * Provide technical leadership for the Conformal LEC and ECO product areas, driving architecture, algorithm development, implementation, and product execution. * Lead strategic initiatives to improve scalability, performance, capacity, quality, and debug effectiveness for complex IC verification and ECO flows. * Drive AI-related innovation within Conformal, identifying and executing opportunities to improve verification productivity, debug efficiency, and user workflows. * Solve complex technical and customer challenges, including critical escalations, methodology development, root-cause analysis, and delivery of robust software solutions. * Collaborate with R&D, Product Engineering, Product Validation, Product Management, and customer-facing teams to define product direction and deliver differentiated customer value. * Mentor senior engineers, provide architectural guidance, and promote engineering excellence and innovation across the broader organization. * Influence the long-term roadmap and technical strategy for formal verification, equivalence checking, ECO, and AI-assisted verification technologies. * Engage with strategic customers and industry partners to understand emerging requirements and translate them into product and technology innovations. ## Related Videos - [AI Won't Fix Your Engineering Culture](https://www.wearedevelopers.com/videos/100266-ai-won-t-fix-your-engineering-culture) - [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it) - [MCP doesn’t suck — your agent does](https://www.wearedevelopers.com/videos/100202-mcp-doesn-t-suck-your-agent-does) - [JavaScript? No. Java Scripts! - Scripting with Java](https://www.wearedevelopers.com/videos/2094-javascript-no-java-scripts-scripting-with-java) - [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods) - [Reusing apps between teams and environments through Containers](https://www.wearedevelopers.com/videos/107-reusing-apps-between-teams-and-environments-through-containers) ## Related Articles - [What is Software Engineering?](https://www.wearedevelopers.com/magazine/289-what-is-software-engineering) - [Résumé-Driven Development: How IT trends affect the job market for software developers](https://www.wearedevelopers.com/magazine/59-resume-driven-development-how-it-trends-affect-the-job-market-for-software-developers) - [Why Attend a Developer Event in 2026?](https://www.wearedevelopers.com/magazine/688-why-attend-a-developer-event-in-2026) - [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology) - [The Best X (Twitter) Accounts for Developers](https://www.wearedevelopers.com/magazine/294-the-best-x-twitter-accounts-for-developers) - [Software Engineer Career: Things You Should Know](https://www.wearedevelopers.com/magazine/143-software-engineer-career-things-you-should-know)