Lead Formal Verification Architect & Innovator

Infineon Technologies AG is looking for a Lead Principal Engineer Formal Verification in Dublin, Ireland. In this role, you will merge creativity with technical expertise to drive groundbreaking projects in our Research & Development team.

The ideal candidate should have at least 12 years of experience, including 5+ years specialized in formal verification, and a strong educational background in STEM. Responsibilities include establishing formal verification as a standard and guiding its application in various projects.