Senior Formal Verification Specialist

2 weeks ago

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

Formal Verification Engineer Position

We are seeking an experienced formal verification engineer to join our team.

Job Summary

The successful candidate will be responsible for performing formal verification of complex digital circuits and systems, including the development of formal micro-architecture specifications, comprehensive formal verification test plans, and novel solutions for modeling and proving robustness of design micro-architectures.

Key Responsibilities

  • Collaborate with design engineers to develop formal micro-architecture specifications;
  • Develop comprehensive formal verification test plans that include unique verification requirements;
  • Prove properties of designs, find bugs, and work closely with design teams to improve micro-architectures;
  • Craft novel solutions for modeling and proving robustness of complex design micro-architectures;
  • Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity;
  • Understand temporal logic assertions;
  • Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal);
  • Experience with complex verification projects that used formal techniques for closure;
  • Skills in programming languages like Python, Perl, or Shell;
  • Familiarity with temporal logic assertions;
  • Ability to work on complex verification projects.

Requirements

  • Experience with formal verification tools;
  • Skills in programming languages like Python, Perl, or Shell;
  • Ability to work on complex verification projects.

  • Formal Verification Specialist

    1 week ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 20,00,000

    Job Title: Formal Verification SpecialistWe are seeking a skilled Formal Verification Specialist to join our team. As a Formal Verification Specialist, you will be responsible for working with world-class design engineers to develop formal micro-architecture specifications. You will also create comprehensive formal verification test plans that include unique...

  • Formal Verification Specialist

    1 week ago

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

    Job OverviewWe are seeking a skilled Formal Verification Specialist to join our team. The successful candidate will work on the complete formal verification for single or multiple design blocks and IPs, including CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power...

  • Senior Formal Verification Manager

    1 week ago

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

    Job Title: Senior Formal Verification Manager">Key Responsibilities: We are seeking an experienced professional to lead formal verification efforts for complex digital designs. Key responsibilities include leading cross-functional teams, developing and implementing formal verification strategies, and ensuring the delivery of high-quality products.">Required...

  • Formal Verification Specialist

    2 weeks 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...

  • Formal Verification

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

  • Senior Formal Verification Specialist

    5 days ago

    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 9,00,000 - ₹ 13,00,000

    Formal verification engineers are key players in ensuring the correctness and reliability of complex designs. In this role, you will be responsible for developing comprehensive formal verification test plans that include unique verification requirements.The successful candidate will work closely with silicon's world-class design engineers to develop a formal...

  • Formal Verification

    4 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

    2 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time ₹ 9,00,000 - ₹ 12,00,000 per year

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