לוח משרות דרושים מדעים מדוייקים בתל אביב יפו

we are 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 our company 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.

we are the global leader in control systems for quantum computing, a field on the verge of exponential growth, bringing about opportunities like those made possible with the invention of classical computing 50 years ago.
We are assembling the strongest team of professionals in the world with the goal of revolutionizing how quantum computers are built and controlled and accelerating their arrival. we are backed by top-tier investors such as Battery Ventures, TLV Partners, Red Dot Capital, and Avigdor Willenzs investment group.
We are looking for a super talented engineer to join our team and build our company's architectural model of a quantum control system.
We are looking for a motivated person, who is a real team player and can collaborate closely with engineers from other disciplines and quantum physicists
Responsibilities:
Working in all fronts - high-level architectural solutions to low-level design constraints
Working across multiple teams and methodologies
Designing a complex IP to be used both internally by various R&D teams and externally for our customers as a stand-alone product
Designing a flexible and integration-able model to allow referencing from various programming languages (UVM, Java, Python, Kotlin and C++) as well as coupling it to a behavioral quantum simulator.

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 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 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.

We are looking for a Senior Chip Design Engineer, Formal Verification for our 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 the 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. We have the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tape-outs. 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 take part in the AI revolution led by us, working on cutting edge architecture.

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 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.
Develop new formal verification methodologies and tactics.

We are now looking for a Senior verification technical lead for our FC Switch Silicon team. As a FullChip verification technical lead Engineer at our Networking business unit, you'll join a group of passionate engineers to design and implement 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 FC verification team within the Switch silicon.
Dynamic verification environments planning for units infrastructures and system level
Work closely with multiple teams within organizations such as Architecture, u-arch, Full chip Micro-Architecture, BE, and FW
Responsible to drive the FullChip verification execution, including staging plan of the projects and deliveries.

We are looking for best-in-class Chip Design Verification Engineer 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:
Work as a Chip Design Verification Engineer as part of a combined design and verification team that develops front-end design for the Switch silicon, GPU and HCA.
Plan and Design Verification units/blocks according to Arch & Micro arch specifications under challenging constraints with high orientation to power, area, and performance.
Work closely with multiple teams within organizations such as Architecture, Micro-Architecture, and FW-interaction with organization-wide groups.

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 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 an excellent Firmware Verification Engineer for our FW PHY verification Group. The person will be part of FW PHY verification of our Products. Will closely work with our FW PHY development, architecture teams and gain deep understanding of our products and technologies.
What you'll be doing:
Own the responsibility for delivering Networking features and their verification aspects.
Define, develop and maintain verification infrastructure and regression tests suites - make test suites robust, maintainable and easy portable.
Work with continuous integration system, regression tools, automate builds, run test suites and analyzing results.
Innovate! Bring our product to next quality level.

we are seeking an experienced and visionary Data Science Team Lead to join our dynamic technology organization.
The successful candidate will lead a team of talented data scientists, driving innovation and delivering business value through advanced machine learning techniques and Generative AI solutions.
This role requires a strategic thinker with hands-on expertise in both traditional and cutting-edge data science methodologies, exceptional leadership skills, and a passion for continuous learning and development.
Responsibilities:
Lead, mentor, and develop a team of data scientists both methodologically and technically to deliver high-impact projects aligned with business objectives.
Design, implement, and optimize classic machine learning models to solve complex business problems.
Apply gradient boosting techniques (e.g., XGBoost, LightGBM, CatBoost) to enhance predictive accuracy and model robustness.
Drive the exploration and integration of Generative AI applications, including Large Language Models (LLMs) to create innovative solutions for products and services.
Collaborate with cross-functional teams (engineering, product, business) to translate business requirements into actionable data science projects.
Establish best practices for model development, validation, deployment, and monitoring in production environments.
Promote a data-driven culture, encouraging experimentation, sharing of knowledge, and adoption of state-of-the-art technologies.
Communicate project progress, insights, and results to stakeholders at all levels of the organization.

we are seeking an experienced and visionary Data Scientist to join our dynamic technology organization. The successful candidate will be a part of a team of talented data scientists, driving innovation and delivering business value through advanced machine learning techniques and Generative AI solutions. This role requires a strategic thinker with hands-on expertise in both traditional and cutting-edge data science methodologies, and a passion for continuous learning and development.
Responsibilities:
Gradient boosting techniques (e.g., XGBoost, LightGBM, CatBoost) are used to enhance predictive accuracy and model robustness.
Drive the exploration and integration of Generative AI applications, including Large Language Models (LLMs), to create innovative solutions for products and services.
Collaborate with cross-functional teams (engineering, product, business) to translate business requirements into actionable data science projects.
Establish best practices for model development, validation, deployment, and monitoring in production environments.
Promote a data-driven culture, encouraging experimentation, sharing of knowledge, and adoption of state-of-the-art technologies.
Communicate project progress, insights, and results to stakeholders at all levels of the organization. Design, implement, and optimize classic machine learning models to solve complex business problems.