דרושים » מדעים מדוייקים » Formal Verification Engineer

An exciting semiconductor startup is seeking an outstanding verification engineers to develop a new type of massively parallel architecture.

This is a rare and exciting opportunity to join an evolving team and company, allowing you to influence the future of both processor architectures and database systems.

Job Description
​​We are looking for highly motivated Engineers who love the challenge and the opportunity of a growing company. Join us and be a part of a small and dynamic team, which is revolutionizing the parallel processor 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.

An exciting semiconductor startup is seeking an outstanding Firmware engineer. This is a rare opportunity to influence the future of both processor architectures and database systems.

Take a part in the design and brainstorming of new complex features. Develop, test, debug and optimize low-level firmware layer on our SOC. Collaborate with chip design, software, verification, and architecture teams to define and design new low-level firmware flow. Improve our team methodologies, and automated process.

An exciting semiconductor startup is seeking an outstanding lead architect to join the architecture and system engineering team and create and define a SoC and system architecture for a new type of SoC processing big data. The architect will be responsible for the hardware specifications and flow specifications of complicated modules in the chip and in the full system solution. The architect will work closely with the chip design, firmware and software teams.
This is a rare opportunity to influence future processor architectures.

Job Description
Definition and specification of subsystems in the SoC which includes multi-core massively parallel processor, accelerators, network on chip and networking blocks.
Breaking down the sub-system architecture into microarchitectural blocks, firmware, and SW components.
Understanding the system in which the SoC is integrated to and designing the SoC to perfectly fit into the datacentre system.

Were an exciting Deep Tech startup, backed by the largest VCs and founded by serial entrepreneurs. Our products provide high-performance computing capabilities that will improve the speed and efficiency of database operations. Were seeking an outstanding Senior SW Engineer to join our team and help us develop advanced algorithms that will be executed on our hardware accelerator. This is a rare opportunity to influence the future of data processing.

Job Description
Develop and optimize algorithms for database operations that can be executed on our hardware accelerator
Fly high with the SW, and dive in for a byte of the HW
Write high-performance code in Python and C++
Collaborate with hardware engineers to optimize software and hardware integration for maximum performance
Conduct research on state-of-the-art algorithms and techniques for data analytics and hardware acceleration
Develop and maintain software tools to support testing and validation of our products
Participate in code reviews and contribute to software design decisions

We are looking for a Senior Chip Design Verification Engineer for developing the next generation DFT technologies.

As a Senior Chip Design Verification Engineer in the DFT team in our coompany, 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.

Required ASIC Verification Engineer
Verification Group in a growing group responsible for pre-silicon ASIC Verification of complex chips implementing an advanced modem technology.
As part of the role, you will architect, develop & own blocks / sub-subsystem / system-level verification benches. You will be a major contributor to advanced SV UVM methodologies and to infrastructure development. You will be part of an advanced development flow, using state-of-the-art development & Verification tools and will work closely with the chip architects and RTL / VLSI design teams.
RESPONSIBILITIES
The Verification Engineer will be responsible for different HW blocks at module-level and sub-system level and is expected to:
Have an expert-level understanding of assigned HW blocks as well as a good understanding of the block in the context of whole system.
Communicate with architect, designer, algorithm and other verification engineers to lead complex verification tasks, both on module-level and sub-system testing.
Design complete verification environments.
Implement design in full UVM environment.
Perform full block regressions and collection of functional coverage.

We are now looking for a talented, fast learner, and highly motivated Design Verification Engineer! As a member of our CPU Team, you will be responsible for a portion of the Verification of a high performance and low power chip, focusing on such tasks as micro-architectural definition, tests planning, tests and test environment writing. 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 stretching around the globe, 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 core CPU team, you'll own and be responsible for the verification of different parts in the CPU.

Work closely with logic design and micro-architecture: understand and take part of uArch definitions.

Writing test plans, test environment, and tests to ensure high quality product.

Find bugs, debug, and define fix options.

An exciting semiconductor startup is seeking an experienced Presto/Trino developer to lead the software development for running state-of-the-art analytics frameworks on a new type of hardware accelerators. This is a rare opportunity to influence the future of both processor architectures and analytics frameworks.

Job Description
Architect and implement a Presto/Trino connectors and plugins for a revolutionary hardware
accelerator SoC

Interact with the processor and compiler teams to introduce system optimizations
Provide technical guidance to a team of software engineers building software platforms for
large-scale data processing and real time analytics
Contribute to the data analytics open-source community of (e.g., Presto, Trino, Spark)

Required Senior SoC verification engineer
About this position:
As a Senior SoC Verification Engineer, you will play a pivotal role in our VLSI group, contributing to the development of cutting-edge AI chips.
If you are motivated and skilled in VLSI and excited about AI, we want to meet you!
Responsibilities:
Collaborate closely with verification teams, architecture, and design teams to develop and execute a comprehensive verification strategy for various blocks and flows within our System-on-chip (SoC) and Neural Network (NN) processor, ensuring high-quality standards and prompt execution.
Actively participate in large-scale integration efforts and contribute to maintaining and enhancing the UVM-based verification environment, ensuring it aligns with and enhances group methodologies for verifying complex SoC designs efficiently.
Analyze and optimize system flows to verify a fully functional design meeting logical specifications and performance criteria, ensuring efficient and effective verification processes.
Experience with scripting languages such as Python or Perl.