Senior Formal Verification Engineer jobs at Nvidia in Israel, Beer Sheva

What you’ll be doing:

• Take a part in the design, development, test, debug, and optimization of low-level firmware layer on next-generation network adapters up to package release

• Analyze, integrate, support, and debug low-level firmware layer on verification environments

• Collaborate with firmware, software, and architecture teams to analyze, design, and debug legacy and new low-level firmware flow

• Improve our team processes including design and implementation of new methodologies, automated processes

What we need to see:

• B.Sc. degree in Electrical Engineering, Computer Engineering or Computer Science

• 1+ years of experience

• Programming Knowledge in C/C++

• Great teammate, responsible and motivated

Ways to stand out from the crowd:

• Background in networking

• Knowledge in Linux

• Knowledge in scripting languages

What you will be doing:

• Join Beer-Sheva/Tel-Aviv group, working ondesigning/verificationin the fields of encryption.

• Design and verification for chip blocks/entities according to specifications under challenging constraints and with high orientation to power, area and performance.

• Daily work will involve design/verification and might involve any or all aspects of chip development including design and micro-architecture.

• Work closely with firmware and other groups around the globe.

What we need to see:

• B.SC./M.SC. or equivalent experience in ElectricalEngineering/CommunicationEngineering/Computer Engineering

• 0+ years of validated experience in RTL Frontend ASIC Verification or Design (Chip Design)

• High Level of English

Ways to stand out from the crowd:

• Former experience in RTL Frontend ASIC Verification: 2+ years

• Knowledge in Specman

• Knowledge in Verilog

What You’ll Be Doing:

• Lead, mentor, and grow a team of software verification and infrastructure engineers focused on simulation quality, automation, and scalability.

• Oversee development of multi-node verification systems to validate distributed simulation performance and stability.

• Drive the evolution of CI/CD pipelines and automation workflows to ensure fast, reliable delivery of simulation releases.

• Collaborate cross-functionally with hardware design, DevOps, firmware, and software teams to align infrastructure improvements and verification methodologies.

• Balance hands-on technical contribution with leadership — guiding design reviews, architecture discussions, and best practices for verification excellence.

• Foster a culture of ownership, continuous improvement, and innovation across the verification organization.
  

What We Need to See:

• B.Sc. or higher in Computer Science, Software Engineering, Computer Engineering, Electrical Engineering, or a related technical field.

• 8+ overall years of software development or verification experience, with at least 3 years in a technical leadership or management role.

• Strong background in Python and C/C++, with experience building or maintaining large-scale verification or test automation frameworks.

• Solid understanding of Linux systems, CI/CD automation, and DevOps practices (Jenkins, Git, Gerrit, Docker).

• Strong communication and organizational skills — able to align multiple teams and deliver high-impact results.
  

Ways to Stand Out from the Crowd:

• Hands-on experience managing simulation or emulation verification teams in hardware/software co-development environments.

• Proven experience leading teams that build scalable, distributed, orhardware-simulation-relatedsystems.

• Expertise in multi-node or distributed testing frameworks, performance validation, or concurrency debugging.

• Track record of driving improvements in CI/CD pipelines, automation coverage, and release stability.

• Deep familiarity with GPU, networking, or system architecture concepts.

What you'll be doing:

• Develop and maintain the simulation’s verification system and supporting infrastructure - design frameworks and tools that enable efficient test creation, execution, and analysis for complex hardware simulations.

• Implement and automate multi-node verification tests to validate system behavior, scalability, and performance across distributed environments.

• Own CI/CD pipelines and testing automation ensuring reliability, repeatability, and fast iteration cycles for simulation releases.

• Collaborate closely with design and DevOps teams to integrate new hardware models, test scenarios, and infrastructure improvements.

• Drive innovation in simulation verification - continuously improve coverage, debug efficiency, and system authenticity.

• B.Sc. or equivalent in Computer Science, Software Engineering, Computer Engineering, Electrical Engineering, or a related field.

• 4+ years of hands-on experience in Python and C/C++, with strong debugging and object-oriented design skills.

• Experience in verification infrastructure or test automation frameworks (e.g., Pytest, custom frameworks).

• Solid understanding of Linux systems - including scripting, debugging (gdb), and containerized environments (e.g., Docker).

• Familiarity with CI/CD pipelines and DevOps workflows (Jenkins, Git, Gerrit).

• Knowledge of Inter-Process Communication (IPC) mechanisms (sockets, message queues, shared memory).

• Creative, proactive, and detail-oriented team player with a passion for reliable systems.

Ways to Stand Out from the Crowd

• Experience in simulation or emulation systems, especially those modeling hardware or distributed environments.

• Familiarity with networking or GPU architectures, or other hardware/software co-simulation domains.

• Proven experience developing multi-node or multi-platform verification environments.

• Strong background in automation, CI integration, and test scalability.

• Excellent communication skills and ability to collaborate across design, firmware, and infrastructure teams.

As a member of the team, you will be a part of cutting edge Python-based SW project using advanced techniques such as white box testing, multi-thread environment and more. You will gain unique knowledge of how switch operating system works and how large scale networks are constructed. Teams utilize the latest software engineering methodologies and tools in an agile fashion to release on time. Are you ready for this challenge?

What you will be doing:

• Design, develop, optimize and maintain APIs, tools and libraries for Verification networking infrastructure

• Collaborate with team members, Architects, design, QA teams, and customers (both external and internal)

• Design, develop, execute and maintain tests automation for release features.

What we need to see:

• B.Sc in Computer Science or equal program

• 5+ years of proven experience with object oriented programming languages: Python/ Java/ C#

• 5+ years of proven experience with computer networks, Layer-2 and/or Layer-3

• Strong technical abilities, problem solving, design, coding and debugging skills

• Ability to lead feature development, take full ownership of tasks from A-Z and deliver independently with minimum supervision

• Great teammate with multi-tasking ability and good interpersonal skills

Ways to stand out from the crowd:

• Background in C and/or Python programming

• Experience in Jenkins pipelines

• Experience with MS-SQL

What you’ll be doing:

• Take a part in the design, development, test, debug, and optimization of low-level firmware layer on next-generation network adapters up to package release

• Analyze, integrate, support, and debug low-level firmware layer on verification environments

• Collaborate with firmware, software, and architecture teams to analyze, design, and debug legacy and new low-level firmware flow

• Improve our team processes including design and implementation of new methodologies, automated processes

What we need to see:

• B.Sc. degree in Electrical Engineering, Computer Engineering or Computer Science

• 1+ years of experience

• Programming Knowledge in C/C++

• Great teammate, responsible and motivated

Ways to stand out from the crowd:

• Background in networking

• Knowledge in Linux

• Knowledge in scripting languages

What you'll be doing:

• Work in a combined design and verification team which develops core units within the Networking silicon.
• Build reference models, verify and simulate chip blocks/entities according to specifications and performance requirements.
• Work closely with multiple teams within organizations such as Architecture, Micro- Architecture, FW and Post-Silicon validation.

What we need to see:

• B.Sc. in Electrical Engineering or Computer Engineering.
• Completion of programming and logic design courses with high scores.
• A great teammate with good communication and interpersonal skills.

Ways to stand out from the crowd:

• Validated experience in ASIC Verification.
• Knowledge in Specman.
• Knowledge in Verilog.