Expert Formal Verification Specialist

5 hours ago

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

Formal Verification

Seeking 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 improvement.
  • Crafting novel solutions for modeling and proving robustness in complex design micro-architectures.
  • Developing reusable and optimized formal models and verification code bases.
  • Architecting correct-by-construction design methodologies for enhanced formal verification efficiency and productivity.

Experience with formal verification tools like Cadence Jasper or Synopsys VC-Formal is desired, along with skills in Python, Perl, or Shell scripting. This role offers opportunities for growth in a dynamic environment focused on innovative verification techniques and cutting-edge technologies.

  • CPU Formal Verification Specialist

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

  • Senior Formal Verification Specialist

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

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

  • Embedded Systems Formal Verification Expert

    4 days ago

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

    Formal Verification SpecialistThis role involves utilizing formal verification methodologies to ensure the correctness of complex IP designs. The ideal candidate will have a strong understanding of formal verification principles and tools such as VC-FORMAL/JASPER.Key Responsibilities:Identify and analyze formal-friendly modules and features across Data...

  • Chief Formal Verification Specialist

    5 hours ago

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

    Formal Verification EngineerWe are looking for an experienced Formal Verification Engineer to join our team. As a key member of our design team, you will be responsible for developing and implementing formal verification techniques to ensure the correctness and reliability of our semiconductor designs.Key Responsibilities:Develop comprehensive formal...

  • Formal Verification Engineer

    4 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 Engineer

    2 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 Engineer

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