דרושים » מדעים מדוייקים » DDR Verification

Our Unit Level Verification Team in Haifa is looking for an experienced verification engineer to be involved in the development of our future AI and deep learning HW accelerators.
This is an exciting opportunity to join a team of highly talented engineers, working on the most cutting-edge technologies to deliver our EyeQ future chips, aimed to power the worlds first fully Autonomous Vehicle!
What will your job look like?
Define, implement and enhance verification environments using UVM methodology.
Write and debug tests that combine UVM methodology and SW code.
Identify and write various types of coverage measures.
Collaborate with designers, architects, and SW developers from Haifa and Jerusalem teams to deliver the most comprehensive verification environment.
Integrate Industry Standard (such as AXI and OCP) and other 3rd party VIPs.

Our EyeQ Platform Group (EPG) is seeking a motivated Formal Verification Engineer to join our team and contribute to development of hardware verification environments.
This position offers an opportunity to apply formal methods to verify the correctness of various complex digital systems.
This is an exciting opportunity to join a team of talented engineers, working cutting edge technologies in the field of autonomous vehicle.
What will your job look like:
Be the owner of formal verification environment from first draft to sign-off stage
Apply formal methods to verify the correctness of various complex digital systems
Work with HW architects\designers to define assumptions, rules and cover properties
Help define the formal verification methodology and environment to be applied by the team
Explore new Formal methods and Tools
Work with tools like Cadence JasperGold, Verisium manager, Xcelium, Indago
Analyze verification results, identify bugs, and collaborate with engineers to resolve design issues
Develop generic formal blocks\functions of commonly used logic, to be later used off the shelf.

As a Formal Verification Engineer, you'll play a crucial role in ensuring the quality and reliability of our Graviton product line. You'll own the complete verification lifecycle, from planning through execution, collaborating with cross-functional teams to deliver quality results in a fast-paced environment.

Key job responsibilities:
Drive formal verification efforts for complex hardware designs.
Develop comprehensive verification plans and execute them independently.
Collaborate with design, system and verification teams.
Identify and resolve design issues using formal methods.
Contribute to methodology improvements and best practices.

As formal Verification Engineer you'll own verification tasks from planning through execution, collaborating with experienced engineers across multiple teams to ensure design quality while meeting challenging timelines of the Graviton product line. This is an excellent opportunity for motivated engineers to grow their formal verification expertise in a supportive, high-impact environment.

What We Offer:
Mentorship from formal verification experts.
Hands-on experience with cutting-edge cloud compute.
Clear career growth path within us.
Opportunity to impact products used by millions globally.

Key job responsibilities:
- Plan and execute formal verification plans under guidance from senior engineers.
- Develop formal test-benches for design modules.
- Debug formal verification failures and analyze root causes.
- Collaborate with design and verification teams to resolve issues.
- Learn and apply new formal verification methodologies and tools.

We are seeking for System Validation Engineer to help define, shape, and integrate solutions for the next generation of our cloud platforms.

As a System Validation Engineer at Annapurna Labs, you'll be at the forefront of developing advanced technologies that power the world's largest cloud platform. Your expertise will be critical in ensuring the reliability, performance, and quality of next-generation cloud solutions that support hundreds of thousands of businesses globally.

Key job responsibilities:
- Design, implement, and execute comprehensive test plans and test cases.
- Develop and maintain sophisticated automated test frameworks.
- Identify, document, and track software and system defects with precision.
- Continuously review and enhance quality assurance processes.
- Collaborate closely with development teams to ensure exceptional product quality.