Senior Principal Functional Verification Engineer (AI)

Location: Petah Tikva, Israel or San Jose, CA, USA

Company

A pivotal leader in electronic design and computational software, providing Intelligent System Design solutions for the world's most innovative companies.

What you will do

• Apply machine learning techniques to streamline traditional pre-silicon functional verification, specifically formal verification and UVM.
• Develop agentic AI solutions using LLMs to accelerate the pre-silicon Design Verification process.
• Utilize AI-enhanced Electronic Design Automation (EDA) tools to expedite design and verification lifecycles.
• Collaborate with ML and software engineering teams to validate the correctness, efficiency, and quality of AI outputs.
• Engage with customers to translate requirements into innovative and practical verification strategies.

Requirements

• Experience: BS with 10+ years, MS with 7+ years, or PhD with 5+ years of professional experience.
• Over 3 years of proven expertise in pre-silicon ASIC verification (Formal, SV/UVM, or OVM).
• Strong programming skills in Verilog, System Verilog, and Python.
• Hands-on experience with industry-standard EDA tools such as Jasper, Xcelium, and IMC.
• Advanced proficiency in debugging verification failures using waveform viewers and simulation analysis tools.
• Excellent communication skills and ability to work in a team-oriented environment.

Nice to have

• Exposure to LLMs and ML technologies including RAG, RFT, RL, and Agentic frameworks.

Culture & Benefits

• Opportunity to work on cutting-edge technology in a creative and innovative environment.
• Employee-friendly policies focused on physical and mental well-being and career development.
• "One hirify.global – One Team" culture promoting cross-team collaboration.
• Access to multiple avenues for professional learning and development based on individual interests.