Verification Engineer jobs in Israel

We are seeking a talented and driven Senior Software Verification Engineer to join our innovative team and tackle SW verification challenges in the domains of high-speed networking, virtualization, and security. You will play a key role in validating and testing complex software products that support Ethernet and InfiniBand protocols, delivering advanced networking, storage, and security services for cloud, compute, and AI workloads. What You’ll Be Doing: • Develop and Automate Testing: Design, implement, and maintain automated test scripts and frameworks (primarily in Python) to verify the correct functionality of our software products. • End-to-End Feature Ownership: Deep dive into feature sets, taking responsibility from test planning through to final implementation and full automation. • System & Integration Validation: Validate software functionality and performance through system-level and integration testing, utilizing Linux-based environments and virtualization tools. • Test Environment Management: Set up, maintain, and optimize test environments using Linux, Docker, virtual machines, and other modern tools. • Collaboration & Communication: Work closely with software, DevOps, architecture, and product teams to define test requirements, coordinate releases, and ensure high-quality product delivery. • Continuous Improvement: Drive design verification flows, contribute to methodology improvements, and leverage planning/tracking systems to manage release progress and build release indicators. • Defect Analysis: Analyze test results, file defects, and track issues to closure, ensuring robust and scalable solutions. What We Need to See: • Bachelors/master’s degree in computer science or computer engineering, or equivalent experience • 5+ years of experience in software testing, QA automation, or software engineering. • Strong proficiency in Python and scripting for automation. • Solid experience with Linux-based environments, including system tools and command-line utilities. • Proven understanding of computer networking and modern Linux operating systems. • Familiarity with software testing, integration, and system validation practices. • Excellent problem-solving, critical thinking, and communication skills. • Ability to work independently, manage multiple tasks, and drive technical initiatives. • Great interpersonal skills, agility, and determination for success. • Fluent English; strong presentation and public speaking abilities. Ways to Stand Out from the Crowd: • Deep technical know-how and familiarity with networking protocols or low-level system tools. • Experience with Docker, KVM, or other virtualization technologies. • Knowledge of CI/CD tools (e.g., Jenkins, GitLab CI) and test reporting tools (e.g., Allure, Grafana, Kibana). • Experience with large HW+SW systems and advanced Linux OS technologies. • Proficiency with GIT, Bash, and other scripting languages. If you are creative, autonomous, and passionate about delivering world-class software solutions, we want to hear from you! Join us and work alongside some of the most forward-thinking and dedicated professionals in the industry. NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

We are looking for a talented, fast learner, and highly motivated Chip Design – Verification Engineer. As a member of our Chip Design Team, you will be responsible for verifying portions of the design, of a high performance and low power chip, focusing on such tasks as micro-architectural understanding, Verification environment coding and logic debug. This position offers you the opportunity to have real impact in a dynamic, technology-focused company impacting product lines roadmap. We have crafted a team of extraordinary people, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing. What you'll be doing: As a member of our Chip Design team, you'll own and be responsible for crafting and timely delivery of a verification components and quality of Chip Design related logic. Day to day tasks include: • Understand and analyze uArch definitions. • Implement verification components to verify RTL meets specifications. • Collaborate with our RTL, Arch and uArch teams. • Work on logic related to switch design. What we need to see: • A Bachelor’s Degree in Electrical Engineering, Computer Engineering or Computer Science, or equivalent experience. • 5+ years of hardware description language expertise and verification background required • Strong communication and interpersonal skills are required along with the work in a dynamic environment. • A strong background in computer communication is highly desirable. Ways to stand out from the crowd: • Experience with computer communication/networking NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and talented people in the world working for us. Are you creative and autonomous? Do you love the challenge of crafting the fastest and most power efficient chips in their class? If so, come join our Chip Design team, we want to hear from you!

We are looking for a Formal Verification Engineer for our NVIDIA Networking team! This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking Switch and GPU technologies. We deploy state-of-the art formal verification tools and methodologies to prove design correctness. Working in our formal verification team will expose you to a wide range of cutting edge design and technologies that are in the heart of th AI revolution. Our team delivers world class Chips solutions for HPC, AI infrastructures, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high bandwidth multi port switches. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic and ambitious. What you'll be doing: • In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems. • You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology. • You will take part in the AI revolution led by NVIDIA, working on cutting edge architecture. What we need to see: • BSc in Electrical/Computer Engineering or MSc in Mathematics • 5+ years of relevant experience in chip design field (design/verification/formal). • Excellent analytical, logical reasoning and problem-solving skills • Strong debugging and analytical skills. • Strong communication and interpersonal skills are required Ways to stand out from the crowd: • Formal verification work experience. • Knowledge of digital logic NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future HPC and data centers. NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer.

NVIDIA is looking for an outstanding Software Verification Engineer for our Linux Drivers group. You'll closely work with NVIDIA Driver developers, verification teams, and performance architects, gaining a deep understanding of NVIDIA’s Networking products and technologies built on top of NVIDIA ConnectX and BlueField network cards. You will lead feature verification from design through implementation to integration into frameworks, develop robust infrastructure, and work collaboratively with cross-functional teams. This position offers the opportunity to have real impact in a dynamic, technology-focused company, influencing product lines that empower the most advanced data centers in the world. We've built a team of outstanding people stretching around the globe, whose mission is to push the frontiers of what's possible today and define the platform for the future of computing. We strongly believe in developing our employees and giving them the tools to succeed. What you’ll be doing: • Work closely with developers to test new components, including crafting and executing unit, functional, and performance tests. • Develop a verification environment and tools to qualify the product from functional and performance perspectives. • Investigate performance-related issues in networking Linux drivers. • Analyze coverage measures to identify verification holes and to show progress toward product development and releases. • Identify and write all types of coverage measures for stimulus and corner cases. • Incorporate AI mindset and practices in your daily work. What we need to see: • B.Sc. or equivalent experience in Computer Science or SW/Computer Engineering. • 2+ years of work experience in low level software development. • Strong programming skills in Python and/or C. • Strong orientation towards performance aspects in low level code design. • Background with Networking and protocols. • Creative, motivated, and results-driven worker. Ways to stand out from the crowd: • Background in Linux Operating Systems. • Strong debugging and analytical skills. • Proven experience in performance analysis and debug of low level code. With competitive salaries and a generous benefits package, we are widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us and, due to unprecedented growth, our exclusive engineering teams are rapidly growing. If you're a creative and autonomous engineer with a real passion for technology, we want to hear from you! NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

NVIDIA is looking for an experienced DFT Design Engineer to join the DFT design team and develop the next generation DFT technologies. As a design engineer in the DFT design team at NVIDIA, you will participate in definition and implementation of our DFT technologies in various projects. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting Switches, Nic and SoC product lines. We are working closely with a wide range of aspects - chip design, backend, verification and production testing. We are working on the most advanced technologies and sophisticated products, our DFT solutions are unique, innovative, and we are continuously improving and evolving the solutions to meet the challenging goals. What you'll be doing: • In this position, you will be responsible for defining, coding and integrating sophisticated DFT components into various projects and using state-of-the-art technologies. • As a member of our DFT design team, you will participate in defining various DFT features and improvements, write micro-architecture documents, code design blocks, integrate them into various projects, bring your design to silicon tape-out and silicon testing and production. • Strong collaboration with architects, other design teams, verification, back-end and production testing to accomplish your tasks. What we need to see: • B.Sc. in Electrical Engineering or Computer engineering or equivalent experience. • 5+ years of practical experience. • Exposure to rtl implementation and coding. • Familiarity with verification tools. • Strong debugging, problem solving and analytical skills. • Strong communication and social skills are required. • Ability to work in a geographically diverse team environment. • Self motivated, independent and target oriented. Ways to stand out from the crowd: • Prior Design or Verification experience. • Experience in developing sophisticated design blocks. • Integration of design elements to large cluster or full-chip. • Experience in working with back-end on area, power and timing closures. • Scripting ability. NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you creative and autonomous? Do you love the challenge of developing the next generation technologies? If so, we want to hear from you. Come, join our DFT Team for a challenging and educational environment, where every individual has a significant contribution to our products and achievements!

We are looking for a Senior Formal Verification Engineer for our NVIDIA Networking team! This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking NIC technologies. We deploy state-of-the art formal verification tools and methodologies to prove design correctness. Working in our formal verification team will expose you to a wide range of cutting edge design and technologies. Our NIC team delivers world class CPU interface and offload solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver the best and most widely used high BW ethernet and IB NICs in the industry. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic and ambitious. What you'll be doing: • In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems. • You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology. • You will learn state of the art formal methodologies and advance your expertise in communication protocols and hardware implementations. What we need to see: • BSc in Electrical/Computer Engineering or MSc in Mathematics, or equivalent experience. • 5+ years of relevant experience. • Excellent analytical, logical reasoning and problem-solving skills. • Strong debugging and analytical skills. • Strong communication and interpersonal skills are required. Ways to stand out from the crowd: • Formal verification work experience. • Knowledge of digital logic. NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future HPC and data centers. #LI-Hybrid

We are looking for Full-Chip Verification Engineer to join our NVIDIA’s Networking Silicon team. In this role, you will be responsible for the development and verification of our next-generation NICs at the system level. You will contribute to the architecture of high-speed communication devices by driving full-chip verification execution for the networking solutions powering the world’s most advanced data centers, enjoy working in a meaningful, growing environment where you make a huge impact in a technology-focused company. What you’ll be doing: • Full-Chip Verification & Execution: Own system-level features by defining verification plans and driving the end-to-end execution. • System-Level Debug & Analysis: Gain a strong understanding of chip micro-architecture and features, investigate, debug, and resolve cross-block issues to guarantee feature correctness and compliance • Cross-Team Collaboration: Work closely with multiple teams within organizations such as Architecture, u-arch, Firmware and all units inside the NIC • AI-Enhanced Development: Accelerate development by leveraging cutting-edge AI coding tools and frameworks. What we need to see: • Electrical Engineering B.Sc. or Computer Engineering B.Sc. graduate with high scores or equivalent experience • 3-5 years of experience in Verification or HW simulation • Strong debugging, problem solving and analytical skills • Innovation Mindset - a proactive approach to adopting new methodologies and coding tools to solve complex challenges • A team player with good communication and interpersonal skills Ways to stand out from the crowd: • Prior verification experience of SoC • Knowledge in network flows and protocols

We are looking for a Chip Design Verification Engineer to develop the next generation of DFT technologies. As a Chip Design Verification Engineer in the DFT team at NVIDIA, you will verify the design and implementation of our DFT technologies in various projects. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting Switches, Nic and SoC product lines. We are working closely with a wide range of aspects - chip design, backend, verification and production testing. We are working on the most advanced technologies and complex products. Our DFT solutions are unique, innovative, and we are continuously looking for new and creative solutions to meet the challenging goals. What you'll be doing: • In this position, you will be responsible for verification of the DFT design, architecture and micro-architecture using sophisticated verification methodologies. • As a member of our DFT verification team, you'll understand the design & implementation, define the verification scope, develop the verification infrastructure (Testbenches, BFMs, Checkers, Monitors), execute test/coverage plans, and verify the correctness of the design. • Collaborate with architects, designers, emulation, production testing and silicon verification teams to accomplish your tasks. What we need to see: • BSc. in Electrical Engineering or Computer engineering, or equivalent experience. • 3+ years of practical verification experience. • Experience in developing verification environments and random based verification for unit level and system level using verification tools (simulation tools, Verilog, debug tools like Simvision/Debussy). • Experience with Specman is a plus. • Good understanding of RTL design (Verilog). • Strong debugging, problem solving and analytical skills. • Excellent communication and social skills. • Ability to work in a geographically diverse team environment. • Self motivated, independent and target oriented. NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you creative and autonomous? Do you love the challenge of developing the next generation technologies? If so, we want to hear from you. Come, join our DFT verification Team for a challenging and educational environment, where every individual has a significant contribution to our products and achievements!

We are looking for best-in-class Senior Full-Chip Verification Engineer to join our NVIDIA’s Networking Silicon team. In this role, you will be responsible for the development and verification of our next-generation NICs at the system level. You will contribute to the architecture of high-speed communication devices by driving full-chip verification execution for the networking solutions powering the world’s most advanced data centers, enjoy working in a meaningful, growing environment where you make a huge impact in a technology-focused company. What you’ll be doing: • Full-Chip Verification & Execution: Own complex system-level features by defining verification plans and driving the end-to-end execution. • System-Level Debug & Analysis: Gain a strong understanding of chip micro-architecture and features, investigate, debug, and resolve cross-block issues to guarantee feature correctness and compliance • Cross-Team Collaboration: Work closely with multiple teams within organizations such as Architecture, u-arch, Firmware and all units inside the NIC • AI-Enhanced Development: Accelerate development by leveraging cutting-edge AI coding tools and frameworks. What we need to see: • Electrical Engineering B.Sc. or Computer Engineering B.Sc. graduate with high scores or equivalent experience • 8+ years of experience in Verification or HW simulation • Strong debugging, problem solving and analytical skills • Innovation Mindset - a proactive approach to adopting new methodologies and coding tools to solve complex challenges • A team player with good communication and interpersonal skills Ways to stand out from the crowd: • Prior design or verification experience of high-speed interconnects, smart NIC and/or SoC • Knowledge in network flows and protocols NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Are you ready to become the engineer you have always wanted to be? Come and be part of the best networking NIC team in the industry!

We are building the next generation of verification infrastructure for complex networking and distributed systems. We are looking for a software engineer with strong hands-on experience in test automation and system verification, combined with practical experience applying AI to engineering workflows. This is a hands-on verification role. You will validate product features, develop automated tests, maintain CI and regression coverage, and build deep domain expertise in networking and telemetry. In parallel, you will build agentic workflows that understand product changes, plan coverage, generate and execute tests, analyze failures, and provide engineers with trustworthy, actionable results. What you'll be doing • Own the end-to-end verification of product features, including requirements analysis, risk assessment, test planning, system-level validation, automated test development, execution, and release readiness. • Build and maintain Python-based test infrastructure, CI pipelines, and regression suites, continuously improving coverage, reliability, execution time, and the quality of engineering feedback. • Develop deep domain expertise in networking, telemetry, and distributed systems, and use it to investigate complex failures across the product, test automation, and lab environment. • Design and build agentic verification workflows that analyze product and code changes, plan test coverage, select or generate tests, execute them, observe results, and perform controlled diagnosis and correction loops. • Turn expert verification practices into repeatable and measurable workflows, integrating agents with source control, requirements, CI/CD, issue tracking, lab orchestration, and observability systems while defining test oracles, guardrails, human approval points, evaluation, and tracing. What we need to see • B.Sc. in Computer Science, Computer Engineering, Electrical Engineering, or a related technical field, or equivalent practical experience. • 3+ years of software engineering experience, with significant hands-on work in test automation, system verification, test infrastructure, or related areas. • Deep, production-grade Python expertise, including type-safe data modeling, clear APIs and tool contracts, automated testing, static analysis, performance-aware implementation, and mechanisms for validating and monitoring AI-generated code. • Experience testing complex product features and building production-quality automation, CI pipelines, and regression environments, together with strong debugging skills and knowledge of Linux, Git, APIs, containers, and modern software engineering practices. • Hands-on experience building reliable LLM-based or agentic workflows beyond the prototype stage, including tool integration, code generation or modification, execution and feedback loops, controlled corrective actions, evaluation, guardrails, observability, context management, and prompt or model versioning. Ways to stand out from the crowd • Experience with networking, telemetry, distributed systems, data center infrastructure, or hardware and software integration. • Experience building system-level verification frameworks, large regression environments, test labs, topology orchestration, or traffic-generation systems. • Experience validating high-scale data ingestion, observability pipelines, metrics, logs, traces, or other telemetry-intensive systems. • Experience with agent-driven change-impact analysis, test selection, failure clustering, root-cause analysis, automated debugging, or flaky-test management. • A track record of turning engineering or AI prototypes into reliable capabilities adopted by multiple engineers or teams, combined with a strong systems mindset and a practical approach to establishing correctness. With competitive salaries and a generous benefits package, NVIDIA is widely considered to be one of the technology world's most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us. If you are passionate about building mission-critical systems at the frontier of AI infrastructure, we want to hear from you.

Description verificationQuantum Machines is a global leader in control systems for quantum computing, a field on the verge of exponential growth. Our innovative hardware and software mark a groundbreaking approach in quantum computer control, scaling from individual qubits to expansive arrays of thousands. At the core of QM lies a passionate and ambitious team committed to reshaping the construction and operation of quantum computers. Our work is fueled by a deep understanding of customer needs, driving us to deliver unparalleled solutions in this revolutionary field. We are looking for a Verification Engineer who embodies ambition and positivity, who can passionately take ownership of their responsibilities, collaborating effectively with remote teams to not only meet but exceed our objectives and fulfil the evolving needs of our expanding customer base. The Verification engineer we look for will be a highly talented and motivated person, who is a real team player and can collaborate closely with engineers from other disciplines and quantum physicists. Responsibilities: • Practicing the full range of verification aspects • Creating a verification environment from scratch (drivers, monitors, coverage...) • VIP (DDR/PCIe/AXI) integration • Defining verification sequences via a complex control-flow constraint set • System understanding of a full-stack product with strong HW-SW coupling • Reference model integration • Test plan definition • Defining verification flows and creating the proper infrastructure to support it Requirements Requirements: • At least 5 years of experience. • Ability to ramp up verification environments from scratch • Experience with UVM, System Verilog - Advantage • Knowledge of Verification IPs and protocols (PCIe, DDR, AXI) • Good understanding of HW/SW interaction- Advantage • Knowledge in C/C++/Python/System C - Advantage

Description Quantum Machines is a global leader in control systems for quantum computing, a field on the verge of exponential growth. Our innovative hardware and software mark a groundbreaking approach in quantum computer control, scaling from individual qubits to expansive arrays of thousands. At the core of QM lies a passionate and ambitious team committed to reshaping the construction and operation of quantum computers. Our work is fueled by a deep understanding of customer needs, driving us to deliver unparalleled solutions in this revolutionary field. We are looking for a Verification Engineer who embodies ambition and positivity, who can passionately take ownership of their responsibilities, collaborating effectively with remote teams to not only meet but exceed our objectives and fulfil the evolving needs of our expanding customer base. The Verification engineer we look for will be a highly talented and motivated person, who is a real team player and can collaborate closely with engineers from other disciplines and quantum physicists. Responsibilities: • Practicing the full range of verification aspects • Creating a verification environment from scratch (drivers, monitors, coverage...) • VIP (DDR/PCIe/AXI) integration • Defining verification sequences via a complex control-flow constraint set • System understanding of a full-stack product with strong HW-SW coupling • Reference model integration • Test plan definition • Defining verification flows and creating the proper infrastructure to support it Requirements • 3- 5 years of experience with UVM, System Verilog. • Ability to ramp up verification environments from scratch. • Knowledge of Verification IPs and protocols (PCIe, DDR, AXI). • Good understanding of HW/SW interaction- Advantage • Knowledge in C/C++/Python/System C - Advantage

Job Details: Job Description: Join us to help build the next generation of AI hardware solutions. You will be part of a highly skilled, agile team developing cutting-edge hardware for the AI domain, where we push the boundaries of what silicon can do for emerging AI workloads. With a startup-like culture, we move quickly and give engineers the opportunity to drive significant technical and business impact. We are intentional, fast adopters of AI as a working tool. We bring modern AI assistants and automation into every part of the verification flow — planning, stimulus and checker development, coverage analysis, debug and more — and we look to our senior verification engineers to help steer that evolution. If you are energized by defining things that have never existed before, value rigorous thinking, and want real scope and short feedback loops - you'll feel right at home here. This is a senior, hands-on role with broad technical influence. You will own verification for meaningful parts of the chip — complex IPs and subsystems — building the environments that take them to sign-off, with room to influence the methodologies and working flows we adopt as a team. Responsibilities: • Own verification strategy and execution for complex AI acceleration IPs and subsystems, grounded in deep understanding of the algorithms and microarchitecture under test. • Build verification environments, define verification plans, and drive coverage closure to sign-off. • Provide technical leadership and mentorship, and help shape the team's verification methodology and working flows, reviewing plans, environments, and results along the way. • Champion and advance the team's use of AI tools across the verification flow, finding where they add real leverage and helping the team adopt them well • Collaborate closely with architects, designers, DFT, and emulation/bring-up teams to ensure correctness from block to system level. Qualifications: • B.Sc. in Electrical Engineering, Computer Engineering, or equivalent. • 6+ years of hands-on functional verification experience, with a strong record of taking complex IPs/subsystems to sign-off. • Deep expertise in SystemVerilog/UVM, constrained-random and coverage-driven verification, and verification methodology and planning. • Strong intuition for working with AI tools and real interest in using them to advance the verification flow. • Demonstrated technical leadership: owning verification strategy, mentoring engineers, and driving decisions across teams. Advantage • Verification experience with accelerators, datapath, or compute-heavy IPs for AI/ML • Strong familiarity with the broader development cycle, including design, DFT, and bring-up. Job Type: Experienced Hire Shift: Shift 1 (Israel) Primary Location: Israel, Haifa Additional Locations: Posting Statement: All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance. Position of Trust N/A Work Model for this Role This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change. *

Job Details: Job Description: About us: Intel Networking team delivers best in-class Ethernet products and is at the heart of Intel's transformation from a PC company to a company that powers the cloud and billions of smart, connected computing-devices. We are a team of problem solvers, experimenters, and innovators who are dedicated to designing the network technologies that currently lead and continue to transform datacenter ecosystems. As a world-class organization, we're looking for outstanding talent to accelerate our growth during an exciting time in Ethernet networking marketing technology. If you're ready to be a part of this journey, then we want to hear from you. Job Description: Verification of the microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs. Using the hardware architecture design and RTL implementation details, define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design, Carve out the right boundaries for the design, create comprehensive Formal Verification test plans, track, verify, apply abstraction techniques and converge on complex designs to deliver a high quality design on schedule and articulate the ROI. analyze new methodologies, evaluates new tools and corroborate results. May work with vendors on resolving hard design and tool problems. Qualifications: Minimum Qualifications: 3+ years of experience in Formal Verification Preferred Qualifications: Experience with Jasper, SVA, Jasper Apps (connectivity, coverage) Experience with Perl/Python Experience with GHCP and AI tools Requirements listed would be obtained through a combination of industry relevant job experience, internship experiences and or schoolwork/classes/research. Job Type: Experienced Hire Shift: Shift 1 (Israel) Primary Location: Israel, Haifa Additional Locations: Israel, Jerusalem, Israel, Petah-Tikva Posting Statement: All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance. Position of Trust N/A Work Model for this Role This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change. *