Senior Principal Engineer – Formal Verification (f/m/div)
Infineon Technologies – Dublin, County Dublin, Ireland. Role in the Automotive Microcontroller division.
Job Description
As a Senior Principal Engineer for Formal Verification you will define and lead the formal verification strategy for the Automotive Microcontroller platforms.
Responsibilities
* 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 the 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
Profile & Qualifications
* A University Degree within STEM (Science, Technologies, Engineering and Mathematics) 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
o The use of formal verification techniques such as abstractions, non-determinism, invariants, assume‑guarantee etc.
o An understanding of formal engines and how best to use them
* A broad experience of the application for formal verification, including
o The use of formal verification for the verification of algorithms, protocols, design blocks etc.
o The application of formal verification in SoC verification
o 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
Please send us your CV in English.
Contact
Francisca Dias, LinkedIn
Diversity & Inclusion
We are on a journey to create the best Infineon for everyone. This means we embrace diversity and inclusion and welcome everyone for who they are. At Infineon, we offer a working environment characterized by trust, openness, respect and tolerance and are committed to give all applicants and employees equal opportunities. We look forward to receiving your resume, even if you do not entirely meet all the requirements of the job posting.
#J-18808-Ljbffr