Formal Verification Expert

23 hours ago

Bengaluru, Karnataka, India beBeeVerification Full time ₹ 20,00,000 - ₹ 25,00,000
Job Opportunity:

We seek an experienced functional formal verification expert to lead our company's formal verification efforts for complex digital designs.

As a formal verification leader, you will play a key role in ensuring the quality and reliability of our digital products.

Requirements:
  • Bachelor's or Master's degree in electrical/electronics engineering, computer science, or a related field.
  • Over 10 years of experience in formal verification of complex IP/subsystems/SoCs, with a strong understanding of digital logic design and verification techniques.
  • Expertise in formal verification tools and property specification languages (e.g., SVA, PSL), as well as proficiency in HDLs such as System Verilog, Verilog, or VHDL.
  • Experience with industry-standard EDA formal tools.
  • Experience with scripting languages (e.g., Python, Tcl, Perl) and programming languages such as C/C++/SystemC.
  • Excellent problem-solving and analytical skills, with the ability to debug complex issues and optimize verification performance.
  • Strong communication and interpersonal abilities, with experience working in a team environment and collaborating with cross-functional teams.
  • Proven track record in technical leadership and mentoring, with experience guiding junior engineers and contributing to the development of formal verification methodologies.
Responsibilities:
  • Lead complete formal verification for single or multiple design blocks and IPs, including developing and implementing formal verification strategies and test plans.
  • Create comprehensive formal verification test plans and specifications to ensure thorough coverage of design functionality.
  • Prove design properties, identify bugs, and collaborate with design teams to improve micro-architectures and ensure design correctness.
  • Craft innovative solutions for verifying complex design architectures, including developing re-usable and optimized formal models and verification code bases.
  • Mentor junior team members and provide technical leadership in formal verification methodologies, including training and guidance on industry-standard tools and techniques.
  • Collaborate with cross-functional teams, including design and verification, to ensure seamless integration of formal verification into the overall verification flow.

This is a great opportunity for those who enjoy solving complex problems and want to work in a dynamic team. Apply now if you are interested

  • Formal Verification Expert

    3 days ago

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

    Job Description:We are seeking a seasoned expert in formal verification to spearhead the validation of CPU core, pipeline stages, and subcomponents. The ideal candidate will possess extensive knowledge of property-based formal verification techniques.

  • Senior Formal Verification Expert

    5 days 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

    23 hours ago

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

    Formal Verification ExpertWe are seeking an experienced formal verification expert to join our team.This is a challenging role that requires expertise in formal verification methodologies and tools.About the RoleThe successful candidate will be responsible for developing comprehensive formal verification test plans, collaborating with design engineers, and...

  • Formal Verification Specialist

    2 days ago

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

    Formal Verification ExpertWe are seeking a skilled formal verification expert to join our team. As a formal verification engineer, you will be responsible for developing and implementing formal models and verification codebase.Key ResponsibilitiesWork closely with design teams to develop comprehensive formal verification test plans.Prove properties of the...

  • Expert Formal Verification Specialist

    5 days 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 Specialist

    4 days 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,...

  • Leading Formal Verification Expert

    5 days 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...

  • Formal Verification

    1 week 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

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