Lead Formal Verification Specialist

6 hours ago

Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,04,000 - ₹ 1,30,878
Job Title: Formal Verification Engineer

The ideal candidate is a person with extensive experience in applying formal verification methods to complex IPs for CPU, GPU, and high-speed protocols.

Responsibilities:

  • Complete ownership and execution of formal verification of cache controllers, computational IPs, floating-point units, etc.

In this role, the individual would be responsible for formal verification of GPU design by meeting the demands of the constantly evolving project schedule. The successful candidate will be a member of the GFX team.

The individual must demonstrate passion towards design, design verification, be a teammate, a problem solver with independence, creativity, and interpersonal skills.

Complete ownership and execution of formal verification of cache controllers, computational IPs, floating-point units, etc.

Preferred Experience:

  • Vast and deep experience of formal verification methods
  • Domain knowledge in CPU, GPU, serial protocols
  • Ability to perform complexity reduction, bug hunting, or similar methods

Academic Credentials:

  • Bachelor's or Master's degree in computer engineering/Electrical Engineering

  • A Leading Role in Formal Verification

    25 minutes ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,50,00,000 - ₹ 2,00,00,000

    **Job Title:** Formal Verification SpecialistWe are seeking a skilled Formal Verification Specialist to join our team. As a key member of our design engineering team, you will be responsible for developing and implementing formal verification techniques to ensure the correctness and reliability of our designs.The ideal candidate will have a strong background...

  • CPU Formal Verification Specialist

    3 days ago

    Bengaluru, Karnataka, India beBeeHardwareVerification Full time US$ 1,50,000 - US$ 2,50,000

    Job Title: CPU Formal Verification SpecialistWe are seeking a seasoned CPU Formal Verification Specialist to join our team. As a key member of our design team, you will be responsible for developing and implementing formal verification strategies for Qualcomm CPU components.The ideal candidate will have a strong background in formal methods, model checking,...

  • Advanced Formal Verification Specialist

    2 hours ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,80,00,000 - ₹ 2,50,00,000

    As a formal verification specialist, you will play a pivotal role in developing and implementing cutting-edge formal verification solutions for complex design architectures.Key Responsibilities:Collaborate with world-class designers to develop formal architecture specifications.Design and implement comprehensive formal verification test plans that include...

  • Formal Verification Specialist

    3 hours ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,04,000 - ₹ 1,30,878

    Job Summary:We are seeking a skilled Formal Verification Engineer to join our team.The ideal candidate will have strong knowledge of formal verification and complex design principles, with experience in executing formal verification for complex blocks.The successful applicant will be responsible for understanding the design to be verified, planning and...

  • Advanced Formal Verification Engineer

    2 hours ago

    Bengaluru, Karnataka, India beBeeFormal Full time ₹ 22,50,000 - ₹ 31,25,000

    Verification SpecialistThe role of a Verification Specialist involves comprehensive formal verification of standalone or interconnected design components and IPs.Proficiency in at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal).Key responsibilities include:Component Formal VerificationVerify the correctness of CPU, Connectivity...

  • Formal Verification

    4 days ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    3 days ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)- Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    2 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    9 hours ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.) Experience with at least one formal verification tool (e.g.,...

  • Leading Formal Verification Expert

    11 hours ago

    Bengaluru, Karnataka, India beBeeFormalVerification Full time ₹ 80,00,000 - ₹ 1,50,00,000

    Expert Formal Verification EngineerWe seek a skilled formal verification engineer who can design and implement robust formal models, proof systems, and verification frameworks. Experience with formal verification tools (e.g., Cadence Jasper, Synopsys VC-Formal) is highly desirable.A background in Python, Perl, or Shell scripting is an asset. Our ideal...