Senior Principal Engineer Formal Verification

2 weeks ago

Dublin, Dublin City, Ireland Infineon Technologies Ag Full time
Senior Principal Engineer for Formal Verification

Join our team and play a pivotal role in shaping the future of mobility with Infineon's Automotive division. As a leading innovator in the field, we are driving the transformation of the automotive industry with our cutting-edge microcontrollers and software solutions.

We are seeking a Senior Principal Engineer for Formal Verification to contribute to the development of innovative solutions that enable clean, safe, and smart cars, and work collaboratively with a team of experts to drive innovation, strategy, and growth in the field of Formal Verification.

Job Description

As a Senior Principal Engineer for Formal Verification you will define and lead the formal verification strategy for the Automotive Microcontroller platforms.

  • Work closely with platform architects and design leads to establish formal-friendly platform and design rules.
  • Establish formal verification as a standard method in IP verification.
  • Guide the use of formal verification so that correct formal techniques are used appropriately to improve efficiency of IP and product level verification.
  • Grow formal verification experts within Automotive Microcontrollers (ATV MC) business line and establish a Formal Verification Community.
  • Push the boundaries of the application of formal verification in Digital Mixed Signal and Power Aware Verification.
  • Standardize and automate the use of formal verification, including through the practical application of AI techniques.
Your Profile

You are a leader with a strong background in Formal Verification, and a proven track record of driving complex projects forward. You are a strategic thinker, able to analyze intricate problems from multiple angles, leveraging your network of experts to drive innovative solutions and continuous improvement.

  • A University Degree within STEM area.
  • At least 15 years of relevant work experience with 8+ years of experience in the use of formal verification.
  • A deep understanding of formal verification, including
    • The use of formal verification techniques such as abstractions, non-determinism, invariants, assume-guarantee etc.
    • An understanding of formal engines and how best to use them
  • A broad experience of the application for formal verification, including
    • The use of formal verification for the verification of algorithms, protocols, design blocks etc.
    • The application of formal verification in SoC verification
    • The efficient use of formal verification in hybrid simulation-formal environments
  • The ability to excite and enable verification engineers to use formal methods.
  • Made significant internal and external contributions in the use of formal verification and can provide evidence of pushing the use of formal verification into new areas.
  • A footprint demonstrating influence on the use of formal verification in industry and academia.

  • Senior Principal Engineer for Formal Verification Strategy

    1 week ago

    Dublin, Dublin City, Ireland beBee Careers Full time

    **Senior Principal Engineer for Formal Verification**">Drive innovation in the field of formal verification to shape the future of mobility and contribute to the development of clean, safe, and smart cars.Collaborate with experts to drive innovation, strategy, and growth in formal verification and establish it as a standard method in IP verification.

  • Senior Principal Formal Verification Engineer

    3 weeks ago

    Dublin, Dublin City, Ireland European Tech Recruit Full time

    Senior Principal Formal Verification Engineer - Technical LeadSenior Principal Formal Verification Engineer - Technical Lead6 days ago Be among the first 25 applicantsDirect message the job poster from European Tech RecruitSenior Recruitment Consultant at European/USA Tech Recruit - Specialist in Semiconductor Engineering across Europe, US and AsiaJob Title:...

  • Formal Verification Strategist

    1 week ago

    Dublin, Dublin City, Ireland beBee Careers Full time

    We are seeking an expert in formal verification to join our team as a Senior Principal Formal Verification Engineer. In this role, you will be responsible for defining and advancing the verification strategy for next-generation automotive microcontroller platforms.You will work closely with platform architects and design teams to develop verification-aware...

  • Principal Engineer for Verification Methodologies

    2 weeks ago

    Dublin, Dublin City, Ireland beBee Careers Full time

    Senior Principal Engineer for Formal Verification\We are looking for a highly skilled Senior Principal Engineer for Formal Verification to join our team. As a key member of our team, you will play a vital role in shaping the future of mobility with your expertise in formal verification.\You will define and lead the formal verification strategy for automotive...

  • Principal Engineer

    1 week ago

    Dublin, Dublin City, Ireland beBee Careers Full time

    **Lead Formal Verification Expert**">A strong leader with a background in formal verification is required to drive complex projects forward and analyze intricate problems from multiple angles.Develop and implement a comprehensive formal verification strategy that leverages formal engines and promotes efficient use in hybrid simulation-formal...

  • Principal Verification Engineer

    2 weeks ago

    Dublin, Dublin City, Ireland Tn Ireland Full time

    An excellent opportunity for a Principal Verification Engineer with a world-leading Semiconductor company based in Ireland.Visa sponsorship and relocation assistance provided where needed.Based in Dublin, a major electronics hub in Ireland, our client is looking for a Principal Verification Engineer to drive block verification for next-generation Video/GFX...

  • Principal Verification Engineer

    2 weeks ago

    Dublin, Dublin City, Ireland TN Ireland Full time

    An excellent opportunity for a Principal Verification Engineer with a world-leading Semiconductor company based in Ireland.Visa sponsorship and relocation assistance provided where needed.Based in Dublin, a major electronics hub in Ireland, our client is looking for a Principal Verification Engineer to drive block verification for next-generation Video/GFX...

  • Principal Verification Engineer

    2 days ago

    Dublin, Dublin City, Ireland ic resources Full time

    An excellent opportunity for a Principal Verification Engineer with a world-leading Semiconductor company based in Ireland. Visa sponsorship and relocation assistance provided where needed. Based in Dublin, a major electronics hub in Ireland, our client is looking for a Principal Verification Engineer to drive block verification for next-generation...

  • Principal Verification Engineer

    6 days ago

    Dublin, Dublin City, Ireland beBee Careers Full time

    Verification Engineering LeadWe are seeking a seasoned Principal Verification Engineer to lead our verification team and drive innovation in our verification flow.As a Principal Verification Engineer, you will be responsible for developing and implementing a comprehensive verification plan, working closely with our team to ensure that our products meet the...

  • Formal Verification Engineer

    3 weeks ago

    Dublin, Dublin City, Ireland Chipright Full time

    Salary: Very attractive hourly rate based on SeniorityLocation: N/AMinimum Requirements:5+ years industry experience with the following skillset:Strong System Verilog/UVM based verification skills & experience with assertion & coverage-based verification methodologyAssertion coding and converging on Formal toolsMust have worked on Jasper Gold or VC Formal...