Leading Formal Verification Expert

11 hours ago

Bengaluru, Karnataka, India beBeeFormalVerification Full time ₹ 80,00,000 - ₹ 1,50,00,000
Expert Formal Verification Engineer

We 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 candidate will have a deep understanding of temporal logic assertions and the ability to craft innovative solutions for modeling and proving robustness in complex design microarchitectures.

The successful candidate will be responsible for developing comprehensive verification test plans, including unique verification requirements, and collaborating with design teams to improve the microarchitecture. Additionally, they will prove properties of the design, find bugs, and architect correct-by-construction design methodologies for improved formal verification efficiency and productivity.

Complex verification projects that leverage formal techniques for closure are also an asset. Our organization fosters a culture of innovation and collaboration, providing opportunities for professional growth and development.

  • Key Responsibilities:
  • Develop formal microarchitecture specifications with our world-class design engineers.
  • Prove properties of the design, find bugs, and collaborate with design teams to improve the microarchitecture.
  • Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity.
  • Craft innovative solutions for modeling and proving robustness in complex design microarchitectures.
  • Develop and implement reusable formal models and verification code bases.

  • Senior Formal Verification Expert

    7 hours ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 23,90,000 - ₹ 28,90,000

    Formal Verification Expert LeadWe are seeking an experienced Formal Verification expert to lead formal verification efforts for complex digital designs. As a senior Formal Verification expert, you will be responsible for developing and implementing formal verification strategies and test plans for single or multiple design blocks and IPs.About the...

  • Expert Formal Verification Specialist

    19 hours ago

    Bengaluru, Karnataka, India beBeeFormalVerification Full time ₹ 1,20,00,000 - ₹ 2,01,00,000

    Formal VerificationSeeking a Formal Verification expert to work with world-class design engineers on developing formal micro-architecture specifications. Key responsibilities include:Designing comprehensive verification test plans incorporating unique requirements.Proving properties of designs, identifying bugs, and collaborating with design teams for...

  • 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

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

  • A Leading Role in Formal Verification

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

  • Senior Formal Verification Expert

    2 hours ago

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

    Formal Verification EngineerWe are seeking a skilled Formal Verification Engineer to join our team.About the Role:The Formal Verification Engineer will be responsible for developing comprehensive formal verification test plans, including unique verification requirements. This includes working with world-class design engineers to develop formal...

  • Senior Formal Verification Specialist

    2 days ago

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

    Job Opportunity: Formal Verification ExpertA highly experienced Formal Verification Engineer with 5+ years of experience is required to work on the complete formal verification for single or multiple design blocks and IP's.Key Responsibilities:Work closely with our world-class design engineers to develop a comprehensive formal micro-architecture...

  • Lead Formal Verification Specialist

    6 hours ago

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

    Job Title: Formal Verification EngineerThe 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...