Senior AI Formal Verification Engineer

Our Formal Verification (FV) team is seeking a visionary AI Verification Engineer to join our elite Networking Chip Design group. Our team is unique: we define the infrastructure and drive the methodologies for proving the correctness of the worlds most advanced AI and networking architectures. We operate at the cutting edge, leveraging a sophisticated ecosystem of proprietary in-house formal tools and industry-leading vendor EDA solutions.

In this role, you will be a key architect in our "AI-for-FV" evolution. You will work in close collaboration with our internal CAD and Design Technology AI teams to enhance our in-house toolset with artificial intelligence. You won't just be using tools; you will be building the "brains" that sit on top of them-utilizing LLMs and Machine Learning to automate intent-to-proof workflows and debug complex chips with unprecedented speed.

What Youll Be Doing:

In-House Tool Evolution: Partner closely with internal CAD teams to integrate AI capabilities

דרישות:

What We Need to See:

Bachelors or Masters 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.

Ways to Stand Out from the Crowd:

Experience building or deploying AI tools specifically designed for hardware (e.g., LLM-based assertion generation)

Proven track record of collaborating with CAD or tool-development teams to refine internal design flows. המשרה מיועדת לנשים ולגברים כאחד.