A Leading Role in Formal Verification

1 day ago

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

**Job Title:** Formal Verification Specialist

We 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 in formal verification tools such as Cadence Jasper and Synopsys VC-Formal, and experience with complex verification projects that utilize formal techniques for closure. Additionally, proficiency in Python, Perl, or Shell scripting is a plus.

**Responsibilities:

  • Develop comprehensive formal verification test plans that include unique verification requirements.
  • Prove properties of the design, find design bugs, and work closely with design teams to improve the micro-architecture.
  • Craft novel and creative solutions for modeling and proving robustness of complex design micro-architectures.
  • Develop and implement reusable and optimized formal models and verification code bases.
  • Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity.

**Requirements:

  • Experience with at least one formal verification tool.
  • Understanding of temporal logic assertions.
  • Skills in Python, Perl, or Shell scripting (a plus).

**What We Offer:

We offer a dynamic and challenging work environment, opportunities for professional growth and development, and a competitive compensation package.

**How to Apply:

If you are a motivated and detail-oriented individual with a passion for formal verification, please submit your application for this exciting opportunity.

  • Formal Verification

    5 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

    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

    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

    1 day 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.,...

  • Lead Formal Verification Specialist

    1 day 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...

  • Leading Formal Verification Expert

    1 day 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...

  • Senior Formal Verification Expert

    1 day 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...

  • Formal Verification Specialist

    1 day 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...

  • Formal Verification Engineer

    5 days ago

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

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India.Job Description is mentioned in details::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...

  • Formal Verification Specialist

    2 hours ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 12,00,000 - ₹ 18,00,000

    Embark on a fulfilling career in formal verification and push the boundaries of innovation.Key ResponsibilitiesYou will be working with our team of world-class design engineers to develop formal micro-architecture specifications.Develop comprehensive formal verification test plans that incorporate unique verification requirements.Prove properties of designs,...