Senior Principal Engineer Formal Verification
Job Description
* We are seeking an experienced Formal Verification Expert to lead the development of innovative formal verification strategies for our Automotive Microcontroller platforms.
* As a Senior Principal Engineer, you will work closely with platform architects and design leads to establish formal-friendly platform and design rules.
* You will be responsible for establishing formal verification as a standard method in IP verification, guiding the use of formal verification techniques to improve efficiency of IP and product level verification.
* Your key objective will be to grow formal verification experts within our Automotive Microcontrollers business line and establish a Formal Verification Community.
* You will push the boundaries of the application of formal verification in Digital Mixed Signal and Power Aware Verification.
* You will also standardize and automate the use of formal verification, including through the practical application of AI techniques.