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 Responsibilities

You 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, identify bugs, and collaborate closely with design teams to enhance micro-architectures.
  • Craft novel solutions for modeling and proving the robustness of complex design micro-architectures.
  • Develop and implement reusable and optimized formal models and verification code bases.
  • Architect correct-by-construction design methodologies to improve formal verification efficiency and productivity.

Requirements:

  • Understanding of temporal logic assertions.
  • Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal).
  • Experience with complex verification projects that utilized formal techniques for closure.
  • Skills in Python, Perl, or Shell scripting (a plus).

Becoming a Formal Verification Expert

At the forefront of VLSI IP development, we are seeking an experienced formal verification engineer to join our team. As a key member, you will work with our expert designers to develop innovative formal micro-architecture specifications.

Our company is committed to delivering cutting-edge solutions and offering a wide range of services. If you have a passion for formal verification and want to contribute to groundbreaking projects, this could be your opportunity to shine.

  • CPU Formal Verification Specialist

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

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

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

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

  • Advanced Formal Verification Engineer

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

    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

    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

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

  • Formal Verification

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