Partner closely with internal CAD teams to integrate AI capabilities directly into our proprietary FV infrastructure
Define and evolve the FV team’s specialized methodologies, moving from manual property writing to AI-automated assertions
Develop and integrate AI agents and ML models that interface with our toolchain to automate "intent-to-assertion" workflows and optimize coverage and convergence
Create AI-based debug assistants that analyze formal counter-examples, categorize failures, and autonomously suggest fixes for complex logic problems
Act as the bridge between the FV team, Design Technology AI, and CAD groups to ensure our AI solutions provide end-to-end efficiency from RTL to A0 tapeout
Act as the authority on AI integration, training the broader team on how to leverage "human-in-the-loop" AI tools and automated methodologies

Bachelor’s or Master’s Degree in Electrical Engineering, Computer Science, or equivalent experience
7+ years of hands-on pre-silicon verification experience, with a strong foundation in Formal Verification (FV)
A perspective geared toward automation and experience, defining or refining complex verification infrastructures
A desire to redefine traditional "manual" verification workflows using modern software and AI principles

Senior AI Formal Verification Engineer

Key skills