דרושים » תוכנה » Formal Verification Engineer

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 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. 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.
Learn state of the art formal methodologies and advance your expertise in communication protocols and hardware implementations.

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.

We are now looking for a Chip Design & Verification Engineer to join our Switch Silicon team for Verification / Design roles. As a Chip Design & Verification Engineer at our Networking business unit, you'll join a group of passionate engineers to design, implement and verify the next generation state-of-the-art Switch Silicon chips. In this position, you'll make a real impact in a dynamic, technology-focused company while developing the industry's best high-speed communication devices, delivering the highest throughput and lowest latency!
What You'll Be Doing:
Work in a combined design and verification team which develops some of the switch silicon core units.
Micro-architecture for RTL and simulation environment planning for units and modules.
Design/Verify RTL units/blocks according to Arch. specifications under challenging constraints with high orientation to power, area, and performance.
Build reference models, verify, and simulate chip blocks/entities according to specifications.
RTL synthesis, timing, supporting verification, and silicon post TO activities.
Work closely with multiple teams within organizations such as Architecture, Full chip Micro-Architecture, BE, and FW.

Our Chip Design group is looking for best-in-class Verification Engineers to join our outstanding Silicon Engineering team, developing the industry's best high-speed communication devices, delivering the highest throughput and lowest latency! Come and take a significant part in designing and verifying our groundbreaking and innovative chips, and enjoy working in a meaningful, growing, and highly professional environment where you make a huge impact in a technology-focused company.
What youll be doing:
Verification for chip blocks/entities according to specifications under challenging constraints and with high orientation to performance.
Daily work involves acquaintance with all aspects of chip development: Design, Micro- Architecture, Firmware, Production, and Verification.
Engage in cutting-edge PCIe generation working on latest PCIe gen7.

The CPU team is a world-class, global organization united by a mission to push the boundaries of whats possible and shape the future of computing. We are looking for a talented, fast-learning and highly motivated Logic Design Engineer to join our team. As part of the core design team, youll take ownership of parts of the design and work closely with architecture, verification, and physical design teams, contributing to a fast-moving, technology-focused environment and helping shape future products.
What you'll be doing:
As part of the CPU core team, youll take ownership of a unit.
Contributing to the micro-architecture, writing RTL and documentation.
Working closely with verification and implementation teams to meet timing, area, performance, and power goals.

We are looking for best-in-class Chip Verification Engineers to join our outstanding Networking Silicon Engineering team, developing the industry's best high-speed communication devices, delivering the highest throughput and lowest latency! Come and take a significant part in verifying our ground-breaking and innovating chips, enjoy working in a meaningful, growing and highly professional environment where you make a huge impact in a technology-focused company.
What youll be doing:
Verification for chip blocks/entities according to specifications
Integrations and Full-Chip models
Interaction with organization-wide groups.

We are looking for best-in-class Physical Design Engineers to join our outstanding Networking Silicon engineering team, developing the industry's best high-speed communication devices, delivering the highest throughput and lowest latency! Come and take a part in designing our groundbreaking and innovating chips, enjoy working in a meaningful, growing and highly professional environment where you make a significant impact in a technology-focused company.
What you'll be doing:
Physical design of blocks according to specifications under challenging constraints targeting for the best power, area, and performance.
Be exposed and work on a variety of challenging designs (including high cell count and HS blocks). Resolving complex timing and congestion problems.
Daily work involves all aspects of physical design chip development (RTL2GDS) - synthesis, power and clock distribution, place and route, timing closure, power and noise analysis, and physical verification.
Taking part inflows development.

We are now looking for an outstanding, creative & hardworking Firmware PHY/Algorithms Engineer to join our team. You will be responsible for firmware development, characterization & validation of state-of-the-art network devices. Work as part of a team with circuit design, algorithm, architects & HW design to ensure outstanding product development from concept to customer satisfaction. The qualified candidate should be comfortable working on different code environments and should demonstrate a passion for the creation, execution, and improvement of FW features to control mixed-signal circuits.
What youll be doing:
Implement FW functionality in signal processing units of our products
Work closely with the architecture, HW, and SW design teams
Define implement and maintain FW algorithm to control the Silicon
Develop and test FW on emulation & simulation environments during the Pre-silicon phase
Debug and screen HW/FW/SW issues
Take an active part in silicon bring-up and SW development phases
Lead data-driven discussions about the product functionality and areas for improvement.

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 seeking a highly motivated and experienced Senior Tools/Regression Engineer to join our Qualification Hardware Group. We are looking for a dynamic individual who excels in complex software and hardware environments, brings innovation to the table, and is passionate about driving product excellence. In this role, you will collaborate closely with cross-functional teams, including hardware (HW), firmware (FW), and software (SW), to deliver high-impact solutions. You will be expected to take initiative, support team-wide goals, and develop tools, automation, and regression frameworks with a forward-thinking mindset.
What Youll Be Doing:
Take ownership of hardware setups and develop tools and applications to verify hardware projects, ensuring maximum coverage and automation of auxiliary systems.
Collaborate with multiple teams across software and hardware to define, plan, and deliver end-to-end solutions.
Take ownership of software regression, ensuring the delivery of robust tools and applications.
Contribute to large-scale SW/HW projects in a cross-platform environment.
Participate in the full software lifecycle - from architecture and design to bring-up and production.