We are seeking a
Director, Formal Verification
to join our world-class engineering team . As a hyper-growth leader in AI infrastructure connectivity, we're revolutionizing how data centers handle explosive AI workloads through cutting-edge PCIe Gen 6/7, CXL, Ethernet, UCIe, and UALink technologies. This is a rare prospect to shape the formal verification strategy across our entire product portfolio while working on the most advanced connectivity solutions powering the AI revolution.
In this highly strategic role, you'll serve as technical authority on formal verification, defining methodologies and best practices that ensure the highest quality standards across all our next-generation connectivity products. You'll work at the intersection of innovation and reliability, This position offers exceptional scope for impact—your work will directly enable the rack-scale AI infrastructure that's transforming cloud computing and enterprise data centers worldwide.
Key Responsibilities
- Strategic Leadership & Methodology Development
- Define and evolve formal verification strategy, methodologies, and best practices across all product lines for PCIe, CXL, Ethernet, UCIe, and UALink protocols
- Serve as technical authority on formal verification, providing expert guidance to engineering leadership on risk mitigation and design quality
- Represent us in industry forums, standards bodies, and technical conferences as a thought leader in formal verification
- Drive cross-functional collaboration to influence technical direction across the organization
- Technical Execution & Innovation
- Develop detailed formal verification test plans based on design specifications and collaborate with design teams to refine micro-architecture specifications
- Identify key logic components and critical micro-architectural properties essential for ensuring design correctness
- I