דרושים » תוכנה » BSP and BMC Verification Software Engineer

Required Senior Software Verification Engineer
Become part of a company with over 25 years of leadership in computer graphics, PC gaming, and accelerated computing. The Networking Software Group is growing fast, and we need a Senior Software Verification Engineer to join the InfiniBand Switch Software Development team. This role offers the opportunity to collaborate with a global, diverse group of engineers working closely in small teams to develop new technologies.
As a Senior Software Verification Engineer, you will be immersed in a modern Python-based software project, using advanced techniques to solve complex issues. You will gain outstanding insights into the workings of operating systems, Linux kernel, and the construction of large-scale networks. Our teams apply the latest software engineering methodologies and tools in an agile fashion to ensure timely releases. Are you ready for this challenge?
What youll be doing:
Learn new networking features, plan their verification strategy, and implement it on top of a Python-based in-house developed environment.
Build, develop, optimize, and maintain an OS/Kernel verification testing platform.
Collaborate with team members, architects, build, QA teams, and customers (both external and internal).
Innovate! We are always looking for new ways to make our Networking driver products shine in customers' eyes.

We are looking for an excellent highly motivated Senior SW Verification Engineer with experience in embedded software development to join the software testing team in the Data Processing Unit (DPU) SW Group. We are looking for a candidate with a strong quality-oriented mindset, the ability to thrive in an environment with complex software and hardware designs, and a passion for deep-dive verification of key DPU components. The role includes working closely with HW, FW, and SW teams all over the world, and take our product to next level.
What youll be doing:
Design and implement comprehensive verification plans and automated environments, using Python, to validate high-end hardware and software which is at the forefront of innovation
Lead end-to-end feature validation, from architectural review to final system integration, ensuring robust HW-SW interoperability
Identify, analyze, and report software defects, inconsistencies, and other quality issues
Make better product quality by improving tests coverage
Take an active part in development, integration and verification with R&D
Drive improvements for performance, quality, stability around SW acceleration solutions
Stay up to date with industry best practices, new technologies, and emerging trends in software verification.

We are looking for a strong hands-on verification manager to lead the growing SDK Verification team.
This role combines leadership with deep technical involvement, working closely with SDK design and architecture teams while building expertise in networking protocols and networking technologies.
What Youll Be Doing
Lead, mentor, and grow a team of verification engineers
Promote quality, automation, and scalability
​Oversee development and optimization of APIs, tools, and libraries, and Maintain OS verification infrastructure​
Improve automation workflows for fast and reliable SDK releases and Drive evolution of CI/CD pipelines
​Work closely with hardware, firmware, DevOps, and software teams
Align on verification methodologies and infrastructure improvements
​Stay hands-on while leading
Guide design reviews and architecture discussions and Define best practices for verification excellence.

We are looking for a highly motivated and experienced Software QA Engineer to join our DPU Firmware QA Team. Quality is an integral aspect of our products, and as a Firmware QA Engineer you will have a significant impact in helping us to deliver our products to customers in a fast paced and constantly evolving environment. You will bring your upbeat personality with excellent communication skills, attention to detail, and real passion for a positive user experience. The candidate will take part in wide areas of Software testing, systems testing, networking and automation in Linux environment.
What you'll be doing:
Design, Develop and Execute tests (manual and automatic).
Learn new networking standards, features and protocols and improve QA coverage
Participate in reviews and provide feedback on product feature requirements, specifications, and technical design documents
Collaborate with various team including project management, hardware, and software developers, provide technical analysis of bugs
Execute tests in different scopes: regression, performance, functional, security; report the progress of testing and provide summary reports of testing activity
Develop/Enhance Tools, applications, or processes to improve the quality and test efficiency
Define and build setups topologies for appropriate product coverage.

Our DOCA Verification team is seeking a highly motivated and hardworking Software Engineer with hands-on capability technical experience, to verify the design and implementation of the next generation Data Processing Unit Software, with wide range of features related to cyber security and embedded systems. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting data centers across the world. We're united in our quest to transform the way Smart Adapters are used.
What you'll be doing:
Collaboration & Communication: Work closely with software, architecture, product and DevOps teams to define test requirements, coordinate releases, and ensure high-quality product delivery.
End-to-End Feature Ownership: Deep dive into feature sets, taking responsibility from test plan development to final implementation and full automation
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
System & Integration Validation: Validate software functionality and performance through system-level and integration testing, utilizing Linux-based environments and virtualization tools.
Defect Analysis: Analyze test results, open bugs and track issues to closure, ensuring robust and scalable solutions.
Continuous Improvement: Drive design verification flows, contribute to methodology improvements, and leverage planning/tracking systems to manage release progress and build release indicators.
Test Environment Management: Set up, maintain, and optimize test environments using Linux, Docker, virtual machines, and other modern tools.
Regression Monitoring: Operate, monitor, and analyze failures in the nightly regression system, providing methodical root-cause analysis across hardware, OS, and software layers.

We are looking for a phenomenal Ethernet HW Simulation developer for the ChipSim Group. You will join the ChipSim growing team and take our product to next level, working closely with HW design and architect teams and gaining a deep understanding of our products and technologies.
What Youll Be Doing:
You will be responsible for learning, developing, and delivering new Networking features in simulation.
Collaborate with chip architects, firmware developers, and hardware design teams to accurately simulate complex physical-layer behaviors in software.
Extend and optimize the simulation infrastructure by contributing to CI pipelines, automated test frameworks, and regression tools.
Support internal users by debugging simulation flows and collaborating on bug resolution.
Take part in future-facing innovation by enabling simulation for next-generation devices and features.

We are looking for a System/Network Test Engineer to join our End-to-End Cloud solution team. You are going to be part of the E2E Verification team with the main goal of testing and be part of defining the most sophisticated Ethernet/InfiniBand NIC and Switch features and topologies, which build fast enablement for the products to meet growing market demands. The ideal candidate will engage in testing and defining of Networking industry-leading systems and will bring with him an ability of the fast learning of new features, technologies, and protocols.
What you'll be doing:
Contribute to design review and product features requirements under the whole Ethernet/InfiniBand NIC & Switch portfolio and AI network
Design and build setup topologies for appropriate product coverage with an emphasis on an emulation of customer large scale / complex environments
Design requirements, for testing automation team, and implement tests for the new features, as part of our growing network switch and adaptors division
Lead innovation approach by prepare and deploy different POC activities, based on the growing field demands
Generate comprehensive test reports during release execution procedure, assist with reproduction and debugs complex customer use cases, with determination of the issue root cause, be an engineering PIC for the full verification cycles of the customer use cases fixes provided by R&D team
Execute end-to-end test scenarios in different scopes: Regression, Performance, Functional and Scale; Report the progress of testing and provide summary reports of testing activity.

Required Software Advanced Development Engineer
The Networking Advanced Development Software team develops new groundbreaking technologies to enable new market shares for the company and tighten customer relationships. These are emerging technologies in networking and distributed computing for the booming AI factories and data centers. They span areas such as AI neural networks, Deep Learning, High Performance Computing (HPC), Storage, Cloud, SW Defined Network, Network Function Virtualization and more. We develop the solutions top-down, all the way from application behavioral analysis, to architecture definition and down to the implementation, using the world-leading our devices. The development traverses any needed component - application SW, middleware SW, OS kernel subsystems, device drivers, embedded SW (Firmware) and CUDA GPU. We collaborate with partners and key customers in the analysis processes and engage with open source communities introducing our leading features.
What youll be doing:
Design and implement solutions throughout all layers from high level application, OS and driver subsystem to firmware
Work on impactful projects involving state-of-the-art high-performance computing hardware and software
Provide insight and technical guidance and collaborate with peers from across the company - including software architecture, chip architecture, and engineering departments to improve our future technology
Collaborate with NVIDIA partners and customers

Required System Validation Engineer
Yokneam, Northern, Israel
We are expanding our System Validation Group and invite you to explore Space with us!
Outstanding opportunity to be part of a super-cutting-edge team working on systems above and beyond the globe
What you will be doing​:
Writing system validation Test plans , Design and develop Test programs to validated embedded system features and performance.
Conducting System Validation Test cycles to verify systems based on HW (analog and Digital), RF, SW, FW
Experience with Python or C programing, Git or other programming languages & source control.
Strong technical troubleshooting.
Develop tools and utilities for Lab & field testing, feature analysis
High debug capabilities when work with the Software, systems, HW teams on complex issues.
Ability to move fast and decisiveness.
Building development environment.
Designing automate tests.
E2E ownership product from kickoff to production.

We are looking for a Formal Verification Engineer for our Networking team!
This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking Switch 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 Switch team delivers world class Bridge and router solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high bandwidth multi port switches. We have 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 our core technology.
You will work on developing new formal verification methodologies and tactics.