Senior Formal Verification Engineer

2 months ago

Manchester, United Kingdom Imagination Technologies Full time

About the Role

We are seeking a highly skilled Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will be responsible for delivering formal verification activities related to GPU components or subsystems from early stages of verification planning to sign-off.

Key Responsibilities

  • Design and implement formal verification strategies to achieve our design quality goals.
  • Root-cause design issues in collaboration with other engineers.
  • Research new formal verification techniques and continuously drive the scope of what can be achieved with formal verification.
  • Create verification plans, develop and maintain formal methodology and complex benches.
  • Track and report verification metrics and closure.
  • Participate in all stages of design specification definition providing feedback from the verification perspective.
  • Be responsible for the definition, effort estimation and tracking of your own work.
  • Be able to influence and advance our GPU verification methodology.
  • Have the opportunity to lead, coach and mentor other members of the team.
  • Participate in design and verification reviews and recommend improvements.
  • Contribute to team shared knowledge via open discussions and presentations.

About You

We are looking for a talented and experienced Formal Verification Engineer who is committed to making a significant impact on our team's success. You will have:

  • Good knowledge on Formal Verification concepts, methodology and tools.
  • Experience in deploying Formal Verification on complex micro-architectures.
  • Ability to come up with bespoke techniques to drive exhaustive proofs and perform deep bug-hunting.
  • Exposure of advanced Formal Verification techniques like abstractions, invariants, SEC, etc.
  • Knowledge of complex standard bus protocols and relevant ABVIP integration.
  • Working knowledge of ASIC design methodologies, flows and tools.
  • Ability to plan, estimate and track your own work.

What We Offer

As a Formal Verification Engineer at Imagination Technologies, you will have the opportunity to work on cutting-edge designs, contribute to the development of our GPU IP, and be part of a team that is passionate about innovation and excellence. We offer a dynamic and supportive work environment, opportunities for professional growth and development, and a competitive compensation package.

  • Senior Formal Verification Engineer

    3 weeks ago

    Manchester, United Kingdom Imagination Technologies Full time

    About the RoleWe are seeking an exceptional Senior/Staff Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will play a crucial role in creating cutting-edge GPU IP for a wide range of market segments and applications.Your primary responsibility will be to deliver formal verification...

  • Senior Formal Verification Engineer

    3 weeks ago

    Manchester, United Kingdom Imagination Technologies Full time

    About the RoleWe are seeking an exceptional Senior/Staff Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will play a crucial role in creating cutting-edge GPU IP for a wide range of market segments and applications.Your primary responsibility will be to deliver formal verification...

  • Senior Formal Verification Engineer

    2 months ago

    Manchester, United Kingdom Imagination Technologies Full time

    About the RoleWe are seeking a highly skilled Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will be responsible for delivering formal verification activities related to GPU components or subsystems from early stages of verification planning to sign-off.Your primary focus will be on...

  • Senior Formal Verification Engineer

    2 months ago

    Manchester, United Kingdom Imagination Technologies Full time

    About the RoleWe are seeking a highly skilled Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will be responsible for delivering formal verification activities related to GPU components or subsystems from early stages of verification planning to sign-off.Your primary focus will be on...

  • Senior Formal Verification Engineer

    1 month ago

    Manchester, United Kingdom Imagination Technologies Full time

    About the RoleWe are seeking a highly skilled Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will be responsible for delivering formal verification activities related to GPU components or subsystems from early stages of verification planning to sign-off.Key ResponsibilitiesDesign and...

  • Senior Formal Verification Engineer

    1 month ago

    Manchester, United Kingdom Imagination Technologies Full time

    About the RoleWe are seeking a highly skilled Formal Verification Engineer to join our GPU Hardware team at Imagination Technologies. As a key member of our team, you will be responsible for delivering formal verification activities related to GPU components or subsystems from early stages of verification planning to sign-off.Key ResponsibilitiesDesign and...

  • Senior Formal Verification Engineer

    4 weeks ago

    Manchester, United Kingdom Connected Consulting Limited Full time

    Contract Opportunity: Formal Verification EngineerAre you passionate about pushing the boundaries of IP Verification in a fast-paced environment? We have an exciting contract opportunity for a Formal Verification Engineer to join our industry-leading System Memory Management Product team.As a key member of our team, you will be responsible for developing new...

  • Senior Formal Verification Engineer

    4 weeks ago

    Manchester, United Kingdom Connected Consulting Limited Full time

    Contract Opportunity: Formal Verification EngineerAre you passionate about pushing the boundaries of IP Verification in a fast-paced environment? We have an exciting contract opportunity for a Formal Verification Engineer to join our industry-leading System Memory Management Product team.As a key member of our team, you will be responsible for developing new...

  • Senior Formal Verification Engineer

    1 month ago

    Manchester, United Kingdom Connected Consulting Limited Full time

    Contract Opportunity: Formal Verification EngineerAre you passionate about pushing the boundaries of IP Verification in a fast-paced environment? We have an exciting contract opportunity for a Formal Verification Engineer to join our industry-leading System Memory Management Product team.As a key member of our team, you will be responsible for developing new...

  • Senior Formal Verification Engineer

    1 month ago

    Manchester, United Kingdom Connected Consulting Limited Full time

    Contract Opportunity: Formal Verification EngineerAre you passionate about pushing the boundaries of IP Verification in a fast-paced environment? We have an exciting contract opportunity for a Formal Verification Engineer to join our industry-leading System Memory Management Product team.As a key member of our team, you will be responsible for developing new...

  • Formal Verification Engineer

    3 weeks ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the System IP team at a world-leading Semiconductor Company. The team is responsible for the development of next-generation industry-leading CPU and GPU processors.Key Responsibilities:Improve existing test benches...

  • Formal Verification Engineer

    3 weeks ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the System IP team at a world-leading Semiconductor Company. The team is responsible for the development of next-generation industry-leading CPU and GPU processors.Key Responsibilities:Improve existing test benches...

  • Formal Verification Engineer

    3 weeks ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the System IP team at a world-leading Semiconductor Company. The team is responsible for the development of next-generation industry-leading CPU and GPU processors.Key Responsibilities:Improve existing test benches...

  • Formal Verification Engineer

    3 weeks ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the System IP team at a world-leading Semiconductor Company. The team is responsible for the development of next-generation industry-leading CPU and GPU processors.Key Responsibilities:Improve existing test benches...

  • Formal Verification Engineer

    1 month ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company.Key ResponsibilitiesImprove existing test benches to increase performance, quality, and efficiency.Collaborate closely with other engineering...

  • Formal Verification Engineer

    1 month ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company.Key ResponsibilitiesImprove existing test benches to increase performance, quality, and efficiency.Collaborate closely with other engineering...

  • Formal Verification Engineer

    3 weeks ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company.Key Responsibilities:Improve existing test benches to increase performance, quality, and efficiency.Collaborate closely with other engineering...

  • Formal Verification Engineer

    3 weeks ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company.Key Responsibilities:Improve existing test benches to increase performance, quality, and efficiency.Collaborate closely with other engineering...

  • Formal Verification Engineer

    1 month ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company.Key ResponsibilitiesImprove existing test benches to increase performance, quality, and efficiency.Collaborate closely with other engineering...

  • Formal Verification Engineer

    1 month ago

    Manchester, United Kingdom European Tech Recruit Full time

    Formal Verification Engineer - Systems IPThis is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team at a world-leading Semiconductor Company.Key ResponsibilitiesImprove existing test benches to increase performance, quality, and efficiency.Collaborate closely with other engineering...