Senior Formal Verification Specialist

2 days ago

Tel AvivYafo, Israel beBeeFormalVerification Full time
Job Description:

We are seeking a skilled formal verification engineer to join our team. The ideal candidate will have a strong background in electrical engineering, computer science, or a related technical field, and experience working with formal verification tools such as JasperGold, VC Formal, Questa Formal, or 360-DV.

Responsibilities:
  • Plan the formal verification strategy and create properties and constraints for digital design blocks.
  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
  • Resolve difficult to verify properties, and contribute improvements to methodologies to enhance formal verification results.
  • Architect and implement reusable formal verification components.
Required Skills:
  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
  • 8 years of experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management.
  • Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL).
  • Master's degree or PhD in Electrical Engineering or Computer Science, or a related technical field.
  • Experience with scripting languages (e.g., Python).
  • Knowledge of formal verification algorithms.
Benefits:

You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.

As part of our team, you'll be working on custom silicon solutions that power Google's direct-to-consumer products. You'll be part of a global impact spanning software and hardware, including Google Cloud's Vertex AI.

About the Job:

This role is an opportunity to develop your skills and expertise in formal verification, working with a talented team to drive innovation and excellence in hardware development.

The ML, Systems, and Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services and Google Cloud.

  • Senior Formal Verification Expert

    5 days ago

    Tel Aviv-Yafo, Israel beBeeVerification Full time

    A cloud computing platform is constantly evolving, with new innovations and features being released regularly. As a member of our Utility Computing organization, you'll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services. Within our organization, Amazon Dedicated Cloud (ADC)...

  • Semiconductor Platform Verification Specialist

    1 week ago

    Tel Aviv-Yafo, Israel beBeeVerification Full time

    Senior Verification EngineerAre you a skilled engineer looking for a challenging opportunity to lead the verification of cutting-edge semiconductor platforms? Do you have experience with full-chip/system-level verification of large-scale SoCs and expertise in SW development, object-oriented programming concepts, emulation/silicon debugging, waveform...

  • Senior Chip Designer Verification Specialist

    4 days ago

    Tel Aviv-Yafo, Israel beBeeChip Full time

    We are looking to hire a Chip Design Verification Specialist to join our Networking Silicon design team. The work environment is versatile, educational, dynamic and challenging as employees are currently working on innovative, next-generation networking devices at the forefront of technology in terms of performance and power efficiency.Daily work involves...

  • Mastering CPU Design Verification

    2 days ago

    Tel Aviv-Yafo, Israel beBeeVerification Full time

    Senior CPU Design Verification Engineer OpportunityWe are seeking a highly skilled Senior CPU Design Verification Engineer to join our team. This is an exceptional opportunity for someone who thrives in a fast-paced environment and wants to be at the forefront of innovation.

  • Digital Design Validation Specialist

    15 hours ago

    Tel Aviv-Yafo, Israel beBeeVerification Full time

    Formal Verification ExpertWe are seeking an experienced Formal Verification Engineer to join our team. In this role, you will be responsible for planning and executing the formal verification strategy for digital design blocks.">Plan the formal verification strategy and create properties and constraints for digital design blocks.Utilize formal property...

  • Senior Digital Logic Specialist, Hardware Innovation

    2 days ago

    Tel Aviv-Yafo, Israel beBeeVerification Full time

    Job Description:The Executive CPU Design Verification Engineer will be part of a team that pushes boundaries, developing custom silicon solutions that power the future of direct-to-consumer products. You'll contribute to innovation behind products loved by millions worldwide.This role involves verifying digital designs, developing constrained-random test...

  • Custom Silicon Solutions Architect

    2 days ago

    Tel Aviv-Yafo, Israel beBeeDesign Full time

    Senior ASIC and IP DesignerWe are seeking a highly skilled Senior ASIC and IP Designer to join our team. The ideal candidate will have extensive experience in digital logic design, RTL coding, and low-power design techniques.Job DescriptionThis role involves the development of custom silicon solutions for Google's direct-to-consumer products. You will be...

  • Distinguished Chip Designer and Validator

    1 day ago

    Tel Aviv-Yafo, Israel beBeeVerification Full time

    Senior Chip Design Verification EngineerWe are seeking a highly skilled and experienced Senior Chip Design Verification Engineer to join our team. This is an exceptional opportunity to work on the next generation of DFT technologies.As a Senior Chip Design Verification Engineer, you will be responsible for verifying the design and implementation of our DFT...

  • Senior IT Infrastructure Specialist

    2 weeks ago

    Tel Aviv-Yafo, Israel beBeeEngineering Full time

    Transforming your IT infrastructure requires expertise and dedication. We are seeking a highly skilled Senior IT Systems Engineer to join our team.This position offers an exciting opportunity to design, implement, and manage our identity platform and corporate SaaS applications. As a technical leader, you will be responsible for partnering with business...

  • Senior Risk and Compliance Specialist

    1 week ago

    Tel Aviv-Yafo, Israel beBeeCompliance Full time

    As a Risk and Compliance professional, you'll be working behind the scenes to protect our business from financial threats. You will manage the risks that may have adverse impacts on our product, financials, and customer satisfaction. This includes onboarding, periodic reviews, and enhanced due diligence of existing and potential customers. You'll also...