CPU Formal Verification Specialist

4 days ago

Bengaluru, Karnataka, India beBeeHardwareVerification Full time US$ 1,50,000 - US$ 2,50,000
Job Title: CPU Formal Verification Specialist

We 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, and theorem proving, with experience in complex system verification. They should also be proficient in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness using formal methods.

Key Responsibilities:

  • Collaborate with the design team to comprehend design intent and develop verification strategies.
  • Define formal verification architectures, create test plans, and build comprehensive sign-off environments for Qualcomm CPU components.
  • Deploy model-checking technology across various hardware designs, including property verification, mathematical proofs, architectural modeling, and validation.

Required Skills and Qualifications:

  • Bachelor's/Master's degree in Computer Science/Electrical Engineering or related field with 8+ years of practical experience applying formal methods in hardware or software.
  • Strong foundation in formal methods and their application to hardware specifications and/or implementations.
  • Domain knowledge in microprocessor architecture, instruction set architecture, floating-point math, memory consistency, security architectures, and software engineering skills.

Ideal Candidate Characteristics:

  • Master's/Ph.D. in Computer Science/Electrical Engineering; 4+ years of practical experience.
  • Working familiarity with tools like Jaspergold, VC-Formal, ACL2, and HOL.

What We Offer:

A competitive salary and benefits package, as well as opportunities for professional growth and development in a dynamic and innovative environment.

This is an exciting opportunity for a skilled CPU Formal Verification Specialist to join our team and contribute to the development of cutting-edge technologies. If you are passionate about formal methods and have a strong background in hardware verification, we encourage you to apply.

  • CPU Formal Verification Leadership Position

    3 days ago

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

    **Formal Verification Lead**: We are seeking an experienced Formal Verification Engineer to lead the development of our CPU core and pipeline stages.Key Responsibilities:Develop formal verification methodologies for control logic, pipelines, and memory subsystemsDefine safety and liveness properties, model check for corner case behaviorGuide designers in...

  • Formal CPU Expert

    1 day ago

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

    Senior Formal Verification Engineer (CPU)">">With 8+ years of experience, you will be responsible for owning property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals.">">Main Responsibilities:">">Lead formal planning and methodology for control logic, pipelines, and memory subsystems">Define safety...

  • 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

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

  • Advanced Formal Verification Engineer

    18 hours 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 Specialist

    19 hours 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...

  • Lead Formal Verification Specialist

    22 hours 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...

  • CPU Verification Expert

    3 days ago

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

    Job Title:CPU Verification SpecialistWe are seeking a skilled and motivated CPU Verification Specialist to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test scenarios, and ensuring full functional...