Director of AI-Driven Verification & Formal Methods
Cadence Design Systems
Cadence Design Systems is seeking a T6 technical leader to guide Conformal LEC/ECO architecture and development. You will drive AI-powered verification capabilities, tackle complex challenges, and shape product strategy across engineering, validation, and customer teams. The role requires deep expertise in formal verification, C/C++, and large-scale software architecture, with a Ph.D. and a history of delivering production-quality software. #J-18808-Ljbffr Cadence Design Systems
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Director of AI-Driven Verification & Formal Methods in Austin, TX vacancy
- As a Director of AI/ML driven ASIC Design and Implementation Automation in our AI & Chip Engineering... ...a part of VLSI CAD SW, prescribe key methods and requirements for tools & features... ...Architecture, IP & SoC design, verification and implementation functions, coordinate...SuggestedFull timeWork at officeLocal area
NXP Semiconductors
Austin, TX4 days ago - Silicon Labs in Austin, TX is seeking a Director of Verification to lead US and Europe verification teams for IP, sub-system and SoC verification... ...group. This role focuses on building capabilities, advancing AI-based verification strategies and delivering multiple MCU-...Suggested
- Silicon Labs (NASDAQ: SLAB) is seeking a Director of Verification to lead US & Europe verification of IP, sub-systems, and SoCs from Austin, TX. You will drive Gen‑AI based verification and build capabilities across MCU architecture, clocks/reset, low power, and wireless...Suggested
- Silicon Labs, a leader in low-power wireless connectivity, is seeking a Director of Verification for US and Europe in Austin, TX. You will head the IoT Digital Design verification org, driving AI-enhanced verification and building capabilities across MCU architecture and...Suggested
$166.6k - $309.4k
...cities markets. Learn more at Director, Verification - US & Europe Austin, TX... ...in custom RISC-V Cores and AI/ML components. Responsibilities... ...foundation and handoffs for Formal/Functional/UPF based... ...(Choice of PPO or Consumer Driven Health Plan with HSA), dental...SuggestedFlexible hours- ...are Secure, Responsible AI & Data Protection... ...that keeps Accenture's methods current and differentiated... ...relevant narratives for director and C-suite audiences.... ...thinking and hypothesis-driven problem decompositionTeam... ...(a) in response to a formal complaint or charge, (b...Full timeWork experience placementLive inWork at officeLocal area
Accenture
Austin, TX3 days ago - Role OverviewThe Technical Director, Digital Design... ...implementation expertise, static verification, PPA optimization, AI tool enablement, and hands... ...design and timing analysis, formal/static verification, signoff... ...from current script-driven digital design flows to goal...Full timeWork at officeLocal area
NXP Semiconductors
Austin, TX4 days ago - ...productivity in concert with AI assistants, and improves the... ...of brilliant, motivated, and driven professionals working hard to... ...Do Daily:Actively listen and formalize Account technical pains or other... ...check and reference verification conducted before the start date...Full timeWork at officeRemote workWork from homeWorldwideFlexible hours
SonarSource
Austin, TX1 day ago - ...productivity in concert with AI assistants, and... ...brilliant, motivated, and driven professionals working... ...growth. As our first-ever Director, Global Process Owner -... .../Six Sigma or other formal process improvement certification... ...check and reference verification conducted before the...Full timeWork experience placementWork at officeRemote workWork from homeWorldwideFlexible hours
SonarSource
Austin, TX2 days ago - ...Netspend is seeking a Director of Application Development to lead a global engineering organization in fintech and banking portfolios. You will drive AI-enabled development, scale SaaS offerings, and partner with senior leaders to deliver value with reliability and speed...
Netspend
Austin, TX1 day ago - ...intelligence everywhere — powering the AI edge revolution with the world... .... We’re looking for a Director of AI Enablement to lead that... ...greater value. Establish repeatable methods for measuring and validating... ...-improvement experience. Formal education, executive education...For contractorsImmediate start
- Iterable is seeking a Director of GTM AI Enablement to own the strategy, design, and evolution of how our GTM team learns, ramps, and sells. You will lead AI-powered enablement programs that accelerate field ramp time and raise business acumen across every customer-facing...
- Everlywell is seeking a Director, Consumer Growth (AI‑Native) to own paid and organic acquisition for the Consumer business and to architect the AI agent framework that runs growth campaigns at scale. This hands‑on leader will design and operate AI agents for media buying...
- Code and Theory is seeking a Director of Implementation to own the Machine deployments across customer and agency environments, scoping engagements, leading deployment, and driving adoption through measurable outcomes. You will lead a team of implementation engineers and...
$308.6k - $417.5k
...Partner with Functional TPMs (Front-End, Verification & Validation, Physical Build, Power & Performance... ...TPMs.Experience with Hyperscalers or AI/datacenter silicon.Strong executive... ...anticipate and mitigate risks, make data-driven decisions, and develop alignment across multiple...Work at officeLocal areaARM
Austin, TX2 days ago$194k - $291k
Amplitude is the leading AI analytics platform, helping over 4,700 customers—including... ...configuration. They are execution-first and outcome-driven from presales through implementation,... ...data architecture, instrumentation methods, taxonomy design, and AI agent workflows....Work at officeRemote workHome officeAmplitude
Austin, TX3 days ago- Abode Money is hiring a Head of Operations to own the operational vision, build the ops team, and scale the company as it powers the property tax product for 80M+ homeowners in the US. This hands-on leader will drive 0-to-1 market launches, manage a growing contractor ...For contractors
$144k - $241k
Position Summary CCaaS x AI Manager, Technical TransformationOur Deloitte Sales... ...and cloud-native architectures, APIs, event-driven solutions, data flows, enterprise security... .... From on-the-job learning experiences to formal development programs, our professionals...Local areaDeloitte
Austin, TX2 days ago- ...and data capabilities, and next‑generation AI—including Microsoft Copilot, Azure OpenAI,... ...their enterprise.You Are:A commercially-driven practitioner whose technical and domain depth... ...the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of...Full timeWork experience placementLive inWork at officeLocal area
Accenture
Austin, TX4 days ago $132.5k - $271k
...Senior Manager / Associate Director, you will play a... ...architectures, cloud, data, and AI Lead and coordinate... ..., validation & verification, or vehicle software toolchains... ...executable and value‑driven Bachelor’s degree... ...is (a) in response to a formal complaint or charge, (b...Second jobLive inWork at officeLocal area- Netspend, headquartered in Austin, TX, seeks an Associate Director of Application Development to lead a world-class engineering organization... ...portfolios. You will be a technical visionary driving an AI-first development culture to accelerate innovation and reliability...
$138k - $163k
Associate Director Consulting - State and Local Government... ...Digital transformation AI strategy and adoption... ...sourcing Independent Verification & Validation (IV&V) Our... ...scoping documents, and formal proposal responses as requested... .... How far you go is driven by your passion and...Local areaWorldwide- ...Cloudflare is expanding its AI-native organization and is seeking a Senior Director, R&D HR Business Partnering to lead a global team of embedded HRBPs supporting Engineering, Product, Security, and Research. You will bridge business leadership with Centers of Excellence...
- ...intelligence by establishing the first distributed AI infrastructure dedicated to personalized... ...recognize the evolving demands of a data-driven society for scalability and flexibility,... ...influence direction without relying on formal authority. The ideal candidate has done...Live outWork at officeLocal area
webAI
Austin, TX4 days ago - ...cross-functional portfolios across Product, Engineering, Data Science, Security, Operations and Business teams. This role emphasizes AI-powered delivery tools, GenAI-enabled engineering practices, and Agentic AI workflows to improve efficiency and outcomes. The candidate...Work at office
VISA
Austin, TX3 days ago $168k - $231k
...The equipment that we create and service is essential to advancing AI and accelerating the commercialization of next-generation... ...grows and retains strong architects and functional experts.Outcome-driven: delivers measurable business value with ownership and urgency.Additional...Full timeContract workApplied Materials
Austin, TX4 days ago- ...intelligence by establishing the first distributed AI infrastructure dedicated to personalized... ...recognize the evolving demands of a data-driven society for scalability and flexibility,... ...next generation of AI.About the Role:The Director of Applied AI will play a pivotal...Live outWork at officeLocal area
webAI
Austin, TX2 days ago - ...software development. As the leader in AI code verification and governance, we solve a critical... ...hear from you.Position descriptionAs Director of Revenue Enablement, you will lead the... ...scale it into a measurable, outcomes-driven function that supports Sonar's next phase...Full timeWork at officeRelocation
SonarSource
Austin, TX1 day ago $195.42k - $370.53k
...adaptable and thrive in a collaborative, team-driven culture. At KPMG, our people are our... ...in Advisory.KPMG is currently seeking a Director, Private Equity IT M&A -Due Diligence and... ...platform and add-onacquisitions; utilize AI-powered tools to accelerate analysis, identify...H1bLocal areaKPMG
Austin, TX4 days ago- ...generation of biomarker intelligence—combining AI-powered technology with human insight to... ...more personalized.We are looking for a Director, Consumer Growth (AI-Native) to own paid... ...potential inconsistencies or verification signals in application materials based on...Full timeFor contractorsFreelance
EverlyWell
Austin, TX2 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Director of AI-Driven Verification & Formal Methods. Be the first to apply!
Related searches
- director home care Austin, TX
- director of fulfillment Austin, TX
- academic director Austin, TX
- director of materials management Austin, TX
- senior director Austin, TX
- director of missions Austin, TX
- director consumer insights Austin, TX
- senior director coding Austin, TX
- erp director Austin, TX
- director of demand generation Austin, TX