Infineon Technologies AGDublinEUR 80,000 - 120,000Join our team in Dublin, as a Senior Principal Engineer for Formal Verification, 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. As part of our Automotive Microcontroller business line, you will 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 DescriptionAs a Senior Principal Engineer for Formal Verification you will define and lead the formal verification strategy for the Automotive Microcontroller platforms.In your new role you will:Work closely with platform architects and design leads to establish formal-friendly platform and design rulesEstablish formal verification as a standard method in IP verificationGuide the use of formal verification so that correct formal techniques are used appropriately to improve efficiency of IP and product level verificationGrow formal verification experts within Automotive Microcontrollers (ATV MC) business line and establish a Formal Verification CommunityPush the boundaries of the application of formal verification in Digital Mixed Signal and Power Aware VerificationStandardize and automate the use of formal verification, including through the practical application of AI techniquesYour ProfileYou 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. Your exceptional communication skills enable you to effectively convey your ideas, influence others, and build lasting relationships with cross-functional teams and stakeholders.You are best equipped for this task if you have:A University Degree within STEM (Science, Technologies, Engineering and Mathematics) areaAt least 15 years of relevant work experience with 8+ years of experience in the use of formal verificationA deep understanding of formal verification, includingThe use of formal verification techniques such as abstractions, non-determinism, invariants, assume-guarantee etc.An understanding of formal engines and how best to use themA broad experience of the application for formal verification, includingThe use of formal verification for the verification of algorithms, protocols, design blocks etc.The application of formal verification in SoC verificationThe efficient use of formal verification in hybrid simulation-formal environmentsThe ability to excite and enable verification engineers to use formal methodsMade significant internal and external contributions in the use of formal verification and can provide evidence of pushing the use of formal verification into new areasA footprint demonstrating influence on the use of formal verification in industry and academiaPlease send us your CV in English.Contact:Francisca Dias, LinkedIn#WeAreIn for driving decarbonization and digitalization.As a global leader in semiconductor solutions in power systems and IoT, Infineon enables game-changing solutions for green and efficient energy, clean and safe mobility, as well as smart and secure IoT. Together, we drive innovation and customer success, while caring for our people and empowering them to reach ambitious goals. Be a part of making life easier, safer and greener.Are you in?
#J-18808-Ljbffr