OverviewLead Talent Acquisition Specialist @ Infineon Technologies | Supply Chain & R&DJoin our team in Dublin, as a Senior Principal Engineer for Formal Verification in Infineon\'s Automotive division, contributing to the development of innovative solutions that enable clean, safe, and smart cars, and driving innovation, strategy, and growth in the field of Formal Verification.ResponsibilitiesDefine 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 to ensure correct techniques are used to improve efficiency of IP and product-level verification.Grow formal verification experts within Automotive Microcontrollers (ATV MC) and establish a Formal Verification Community.Advance the application of formal verification in Digital Mixed Signal and Power Aware Verification.Standardize and automate the use of formal verification, including through practical application of AI techniques.Your Profile / QualificationsA University Degree within STEM (Science, Technologies, Engineering and Mathematics).At least 15 years of relevant work experience with 8+ years in the use of formal verification.A deep understanding of formal verification, including the use of abstractions, non-determinism, invariants, assume-guarantee, etc.Understanding of formal engines and how best to use them.Experience applying formal verification to the verification of algorithms, protocols, design blocks, and SoC verification.Experience using formal verification in hybrid simulation-formal environments and exciting verification engineers to use formal methods.Proven internal and external contributions in the use of formal verification and 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.ApplicationPlease send us your CV in English.Contact: Infineon TechnologiesWe look forward to receiving your resume, even if you do not entirely meet all the requirements of the job posting.About InfineonAs 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. We drive innovation and customer success, while caring for our people and empowering them to reach ambitious goals. We are committed to equal opportunities and welcome everyone for who they are.We embrace diversity and inclusion and base recruiting decisions on experience and skills. #J-18808-Ljbffr